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