Searched refs:load_system_tables (Results 1 – 4 of 4) sorted by relevance
229 void load_system_tables(void);
713 void load_system_tables(void) in load_system_tables() function
331 load_system_tables(); in start_secondary()
619 load_system_tables(); in reinit_bsp_stack()684 load_system_tables(); in __start_xen()
Completed in 8 milliseconds