Searched refs:load_trampoline_pgtable (Results 1 – 3 of 3) sorted by relevance
95 void load_trampoline_pgtable(void);
20 void load_trampoline_pgtable(void) in load_trampoline_pgtable() function
117 load_trampoline_pgtable(); in machine_real_restart()