Symbol: SYSTF_IPIRUNNING
sys/kern/kern_systimer.c
198
info->flags = (info->flags | SYSTF_ONQUEUE) & ~SYSTF_IPIRUNNING;
sys/kern/kern_systimer.c
201
KKASSERT((info->flags & SYSTF_IPIRUNNING) == 0);
sys/kern/kern_systimer.c
202
info->flags |= SYSTF_IPIRUNNING;
sys/kern/kern_systimer.c
220
KKASSERT(gd == mycpu && (info->flags & SYSTF_IPIRUNNING) == 0);