Searched refs:machine_startup (Results 1 – 7 of 7) sorted by relevance
50 extern void machine_startup(void);
1020 machine_startup(); in i386_init()
45 extern void machine_startup(__unused boot_args *args) __attribute__((noinline));
677 machine_startup(args); in arm_init()
972 machine_startup(args); in arm_init()
302 machine_startup(void) in machine_startup() function
506 machine_startup(__unused boot_args * args) in machine_startup() function