Symbol: dprintk_pte
arch/powerpc/kvm/book3s_32_mmu.c
151
dprintk_pte("%cBAT %02d: 0x%lx - 0x%x (0x%x)\n",
arch/powerpc/kvm/book3s_32_mmu.c
171
dprintk_pte("BAT is read-only!\n");
arch/powerpc/kvm/book3s_32_mmu.c
196
dprintk_pte("SR 0x%lx: vsid=0x%x, raw=0x%x\n", eaddr >> 28,
arch/powerpc/kvm/book3s_32_mmu.c
245
dprintk_pte("MMU: Found PTE -> %x %x - %x\n",
arch/powerpc/kvm/book3s_32_mmu.c
278
dprintk_pte("KVM MMU: No PTE found (sdr1=0x%llx ptegp=0x%lx)\n",
arch/powerpc/kvm/book3s_32_mmu.c
281
dprintk_pte(" %02d: 0x%x - 0x%x (0x%x)\n",