Lines Matching defs:pteg
93 u32 page, hash, pteg, htabmask;
104 pteg = (vcpu_book3s->sdr1 & 0xffff0000) | hash;
106 dprintk("MMU: pc=0x%lx eaddr=0x%lx sdr1=0x%llx pteg=0x%x vsid=0x%x\n",
107 vcpu_book3s->vcpu.arch.pc, eaddr, vcpu_book3s->sdr1, pteg,
110 r = gfn_to_hva(vcpu_book3s->vcpu.kvm, pteg >> PAGE_SHIFT);
113 return r | (pteg & ~PAGE_MASK);
185 u32 pteg[16];
205 if(copy_from_user(pteg, (void __user *)ptegp, sizeof(pteg))) {
211 if (ptem == pteg[i]) {
214 pte->raddr = (pteg[i+1] & ~(0xFFFULL)) | (eaddr & 0xFFF);
215 pp = pteg[i+1] & 3;
241 pteg[i], pteg[i+1], pp);
250 u32 oldpte = pteg[i+1];
253 pteg[i+1] |= PTEG_FLAG_ACCESSED;
255 pteg[i+1] |= PTEG_FLAG_DIRTY;
260 if (pteg[i+1] != oldpte)
261 copy_to_user((void __user *)ptegp, pteg, sizeof(pteg));
273 i, pteg[i], pteg[i+1], ptem);