Searched refs:free_boot_hyp_pgd (Results 1 – 4 of 4) sorted by relevance
53 void free_boot_hyp_pgd(void);
85 void free_boot_hyp_pgd(void);
1125 free_boot_hyp_pgd(); in init_hyp_mode()
398 void free_boot_hyp_pgd(void) in free_boot_hyp_pgd() function429 free_boot_hyp_pgd(); in free_hyp_pgds()