44 	uint64_t *table;  in new_table()  local
70 static int table_usage(uint64_t *table, int adjustment)  in table_usage()
92 static inline void inc_table_ref(uint64_t *table)  in inc_table_ref()
97 static inline void dec_table_ref(uint64_t *table)  in dec_table_ref()
104 static inline bool is_table_unused(uint64_t *table)  in is_table_unused()
109 static inline bool is_table_single_referenced(uint64_t *table)  in is_table_single_referenced()
207 		uint64_t *table = pte_desc_table(*pte);  in debug_show_pte()  local
237 static void set_pte_table_desc(uint64_t *pte, uint64_t *table, unsigned int level)  in set_pte_table_desc()
262 	uint64_t *table;  in expand_to_table()  local
309 	uint64_t *table = top_table;  in set_mapping()  local
378 static void del_mapping(uint64_t *table, uintptr_t virt, size_t size,  in del_mapping()
526 static void discard_table(uint64_t *table, unsigned int level)  in discard_table()
1396 	uint64_t *table = ptables->base_xlat_table;  in get_pte_location()  local