Symbol: runq_sw_set_empty
sys/kern/kern_switch.c
284
static inline void runq_sw_set_empty(struct runq *rq, int idx);
sys/kern/kern_switch.c
450
runq_sw_set_empty(rq, idx);