61 static inline unsigned int table_index(uint64_t *pte)  in table_index()
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()
310 	uint64_t *pte;  in set_mapping()  local
382 	uint64_t *pte, *subtable;  in del_mapping()  local
1395 	uint64_t *pte;  in get_pte_location()  local
1419 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_mem_page_out()  local
1451 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_mem_page_in()  local
1485 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_page_location_get()  local
1515 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_page_info_get()  local
1602 	uint64_t *pte, desc;  in z_arm64_do_demand_paging()  local