TDF_KERNELFP
TDF_RUNQ | TDF_TSLEEPQ | TDF_KERNELFP)) == 0);
ASSYM(TDF_KERNELFP, TDF_KERNELFP);
KASSERT((td->td_flags & TDF_KERNELFP) == 0,
atomic_set_int(&td->td_flags, TDF_KERNELFP);
KASSERT((td->td_flags & TDF_KERNELFP) != 0,
atomic_clear_int(&td->td_flags, TDF_KERNELFP);