Searched defs: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() function
