96 static void kvm_flush_dcache_pud(pud_t pud)  in kvm_flush_dcache_pud()
166 static void clear_pud_entry(struct kvm *kvm, pud_t *pud, phys_addr_t addr)  in clear_pud_entry()
232 static void unmap_pmds(struct kvm *kvm, pud_t *pud,  in unmap_pmds()
265 	pud_t *pud, *start_pud;  in unmap_puds()  local
318 static void stage2_flush_pmds(struct kvm *kvm, pud_t *pud,  in stage2_flush_pmds()
339 	pud_t *pud;  in stage2_flush_puds()  local
468 static int create_hyp_pmd_mappings(pud_t *pud, unsigned long start,  in create_hyp_pmd_mappings()
506 	pud_t *pud;  in create_hyp_pud_mappings()  local
541 	pud_t *pud;  in __create_hyp_mappings()  local
837 	pud_t *pud;  in stage2_get_pud()  local
854 	pud_t *pud;  in stage2_get_pmd()  local
1074 static void stage2_wp_pmds(pud_t *pud, phys_addr_t addr, phys_addr_t end)  in stage2_wp_pmds()
1104 	pud_t *pud;  in stage2_wp_puds()  local