workq_init_syswq   58 kern/kern_workq.c void		workq_init_syswq(void *);
workq_init_syswq   69 kern/kern_workq.c 	kthread_create_deferred(workq_init_syswq, NULL);