Lines Matching defs:pteg
98 u32 page, hash, pteg, htabmask;
109 pteg = (vcpu_book3s->sdr1 & 0xffff0000) | hash;
111 dprintk("MMU: pc=0x%lx eaddr=0x%lx sdr1=0x%llx pteg=0x%x vsid=0x%x\n",
112 kvmppc_get_pc(vcpu), eaddr, vcpu_book3s->sdr1, pteg,
115 r = gfn_to_hva(vcpu->kvm, pteg >> PAGE_SHIFT);
118 return r | (pteg & ~PAGE_MASK);
188 u32 pteg[16];
209 if(copy_from_user(pteg, (void __user *)ptegp, sizeof(pteg))) {
216 pte0 = be32_to_cpu(pteg[i]);
217 pte1 = be32_to_cpu(pteg[i + 1]);
282 i, be32_to_cpu(pteg[i]),
283 be32_to_cpu(pteg[i+1]), ptem);