kthread_run_deferred_queue  428 kern/init_main.c 	kthread_run_deferred_queue();
kthread_run_deferred_queue   55 sys/kthread.h  void	kthread_run_deferred_queue(void);