machine_startup   129 sys/include/hal.h void	  machine_startup(void);
machine_startup    79 sys/kern/main.c 	machine_startup();