Searched refs:debug_show_pte (Results 1 – 1 of 1) sorted by relevance
256 static void debug_show_pte(uint64_t *pte, unsigned int level) in debug_show_pte() function291 static inline void debug_show_pte(uint64_t *pte, unsigned int level) { } in debug_show_pte() function298 debug_show_pte(pte, level); in set_pte_table_desc()307 debug_show_pte(pte, level); in set_pte_block_desc()
