task_bootstrap     97 sys/include/task.h void	 task_bootstrap(void);
task_bootstrap    104 sys/kern/main.c 	task_bootstrap();