Searched defs:print_pte_vaddr (Results 1 – 2 of 2) sorted by relevance
118 void print_pte_vaddr (unsigned long vaddr) in print_pte_vaddr() function
117 void print_pte_vaddr (unsigned long vaddr) in print_pte_vaddr() function