Symbol: kthread_run_deferred_queue
sys/kern/init_main.c
439
kthread_run_deferred_queue();
sys/sys/kthread.h
46
void kthread_run_deferred_queue(void);