154 static inline bool is_table_desc(uint64_t desc, unsigned int level)  in is_table_desc()
186 				    unsigned int level)  in is_desc_superset()
194 static void debug_show_pte(uint64_t *pte, unsigned int level)  in debug_show_pte()
234 static inline void debug_show_pte(uint64_t *pte, unsigned int level) { }  in debug_show_pte()
237 static void set_pte_table_desc(uint64_t *pte, uint64_t *table, unsigned int level)  in set_pte_table_desc()
244 static void set_pte_block_desc(uint64_t *pte, uint64_t desc, unsigned int level)  in set_pte_block_desc()
260 static uint64_t *expand_to_table(uint64_t *pte, unsigned int level)  in expand_to_table()
312 	unsigned int level = BASE_XLAT_LEVEL;  in set_mapping()  local
379 			unsigned int level)  in del_mapping()
417 static uint64_t *dup_table(uint64_t *src_table, unsigned int level)  in dup_table()
456 			   uintptr_t virt, size_t size, unsigned int level)  in privatize_table()
526 static void discard_table(uint64_t *table, unsigned int level)  in discard_table()
549 			   uintptr_t virt, size_t size, unsigned int level)  in globalize_table()
1169 	int level;  in arch_virt_region_align()  local
1397 	unsigned int level = BASE_XLAT_LEVEL;  in get_pte_location()  local