Searched refs:load_trampoline_pgtable (Results 1 – 3 of 3) sorted by relevance
93 void load_trampoline_pgtable(void);
20 void load_trampoline_pgtable(void) in load_trampoline_pgtable() function
118 load_trampoline_pgtable(); in machine_real_restart()
Completed in 7 milliseconds