Searched refs:kernel_bootstrap (Results 1 – 4 of 4) sorted by relevance
811 extern void kernel_bootstrap(void);
424 kernel_bootstrap(void) in kernel_bootstrap() function
339 kernel_bootstrap(); in machine_startup()
521 kernel_bootstrap(); in machine_startup()