56 static u64 kvm_granule_shift(u32 level)  in kvm_granule_shift()
62 static u64 kvm_granule_size(u32 level)  in kvm_granule_size()
67 static bool kvm_block_mapping_supported(u64 addr, u64 end, u64 phys, u32 level)  in kvm_block_mapping_supported()
84 static u32 kvm_pgtable_idx(struct kvm_pgtable_walk_data *data, u32 level)  in kvm_pgtable_idx()
120 static bool kvm_pte_table(kvm_pte_t pte, u32 level)  in kvm_pte_table()
174 				   u32 level)  in kvm_set_valid_leaf_pte()
193 				  u32 level, kvm_pte_t *ptep,  in kvm_pgtable_visitor_cb()
204 				      kvm_pte_t *ptep, u32 level)  in __kvm_pgtable_visit()
248 			      kvm_pte_t *pgtable, u32 level)  in __kvm_pgtable_walk()
342 static bool hyp_map_walker_try_leaf(u64 addr, u64 end, u32 level,  in hyp_map_walker_try_leaf()
355 static int hyp_map_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in hyp_map_walker()
411 static int hyp_free_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in hyp_free_walker()
465 static bool stage2_map_walker_try_leaf(u64 addr, u64 end, u32 level,  in stage2_map_walker_try_leaf()
495 static int stage2_map_walk_table_pre(u64 addr, u64 end, u32 level,  in stage2_map_walk_table_pre()
517 static int stage2_map_walk_leaf(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_map_walk_leaf()
561 static int stage2_map_walk_table_post(u64 addr, u64 end, u32 level,  in stage2_map_walk_table_post()
600 static int stage2_map_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_map_walker()
658 static int stage2_unmap_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_unmap_walker()
713 	u32		level;  member
716 static int stage2_attr_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_attr_walker()
745 				    u32 *level)  in stage2_update_leaf_attrs()
812 	u32 level;  in kvm_pgtable_stage2_relax_perms()  local
830 static int stage2_flush_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_flush_walker()
878 static int stage2_free_walker(u64 addr, u64 end, u32 level, kvm_pte_t *ptep,  in stage2_free_walker()