dprintk_pte       156 arch/powerpc/kvm/book3s_32_mmu.c 			dprintk_pte("%cBAT %02d: 0x%lx - 0x%x (0x%x)\n",
dprintk_pte       176 arch/powerpc/kvm/book3s_32_mmu.c 				dprintk_pte("BAT is read-only!\n");
dprintk_pte       201 arch/powerpc/kvm/book3s_32_mmu.c 	dprintk_pte("SR 0x%lx: vsid=0x%x, raw=0x%x\n", eaddr >> 28,
dprintk_pte       250 arch/powerpc/kvm/book3s_32_mmu.c 			dprintk_pte("MMU: Found PTE -> %x %x - %x\n",
dprintk_pte       283 arch/powerpc/kvm/book3s_32_mmu.c 		dprintk_pte("KVM MMU: No PTE found (sdr1=0x%llx ptegp=0x%lx)\n",
dprintk_pte       286 arch/powerpc/kvm/book3s_32_mmu.c 			dprintk_pte("   %02d: 0x%x - 0x%x (0x%x)\n",