Symbol: print_pte
arch/m68k/sun3/mmu_emu.c
122
print_pte (__pte (sun3_get_pte (vaddr)));
arch/x86/mm/mmio-mod.c
110
print_pte(addr);