Searched refs:debug_show_pte (Results 1 – 1 of 1) sorted by relevance
194 static void debug_show_pte(uint64_t *pte, unsigned int level) in debug_show_pte() function234 static inline void debug_show_pte(uint64_t *pte, unsigned int level) { } in debug_show_pte() function241 debug_show_pte(pte, level); in set_pte_table_desc()257 debug_show_pte(pte, level); in set_pte_block_desc()615 debug_show_pte(&dst_table[i], level); in globalize_table()1442 debug_show_pte(pte, XLAT_LAST_LEVEL); in arch_mem_page_out()1476 debug_show_pte(pte, XLAT_LAST_LEVEL); in arch_mem_page_in()1558 debug_show_pte(pte, XLAT_LAST_LEVEL); in arch_page_info_get()
