Searched refs:machine_startup (Results 1 – 7 of 7) sorted by relevance
44 extern void machine_startup(__unused boot_args *args) __attribute__((noinline));
630 machine_startup(args); in arm_init()
96 machine_startup(__unused boot_args * args) in machine_startup() function
50 extern void machine_startup(void);
1018 machine_startup(); in i386_init()
306 machine_startup(void) in machine_startup() function
464 machine_startup(__unused boot_args * args) in machine_startup() function