#ifdef _KERNEL
+#ifndef _SYS_PARAM_H_
+#include <sys/param.h>
+#endif
+
+#ifndef _SYS_SYSTM_H_
+#include <sys/systm.h>
+#endif
+
#ifndef _SYS_THREAD2_H_
#include <sys/thread2.h>
#endif
static __inline void
tcp_callout_stop(struct tcpcb *_tp, struct tcp_callout *_tc)
{
+ KKASSERT(_tp->tt_msg->tt_cpuid == mycpuid);
+
crit_enter();
callout_stop(&_tc->tc_callout);
_tp->tt_msg->tt_tasks &= ~_tc->tc_task;
tcp_callout_reset(struct tcpcb *_tp, struct tcp_callout *_tc, int _to_ticks,
void (*_func)(void *))
{
+ KKASSERT(_tp->tt_msg->tt_cpuid == mycpuid);
+
crit_enter();
callout_reset(&_tc->tc_callout, _to_ticks, _func, _tp);
_tp->tt_msg->tt_tasks &= ~_tc->tc_task;
{
int _act;
+ KKASSERT(_tp->tt_msg->tt_cpuid == mycpuid);
+
crit_enter();
_act = callout_active(&_tc->tc_callout);
if (!_act) {
}
static __inline int
-tcp_callout_pending(struct tcpcb *_tp __unused, struct tcp_callout *_tc)
+tcp_callout_pending(struct tcpcb *_tp, struct tcp_callout *_tc)
{
+ KKASSERT(_tp->tt_msg->tt_cpuid == mycpuid);
+
return callout_pending(&_tc->tc_callout);
}