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