Searched refs:init_main (Results 1 – 2 of 2) sorted by relevance
1711 init_main (void) in init_main() function1891 init_main (); /* But that omits this file! Do it now */ in gdb_init()
3810 kern/init_main.c standard