Lines Matching defs:vsid
64 u64 *vsid);
74 u64 vsid;
80 kvmppc_mmu_book3s_32_esid_to_vsid(vcpu, eaddr >> SID_SHIFT, &vsid);
81 return (((u64)eaddr >> 12) & 0xffff) | (vsid << 16);
99 hash = ((sre->vsid ^ page) << 6);
106 dprintk("MMU: pc=0x%lx eaddr=0x%lx sdr1=0x%llx pteg=0x%x vsid=0x%x\n",
108 sre->vsid);
119 return ((eaddr & 0x0fffffff) >> 22) | (sre->vsid << 7) |
151 u64 vsid;
153 eaddr >> SID_SHIFT, &vsid);
154 vsid <<= 16;
155 pte->vpage = (((u64)eaddr >> 12) & 0xffff) | vsid;
192 dprintk_pte("SR 0x%lx: vsid=0x%x, raw=0x%x\n", eaddr >> 28,
193 sre->vsid, sre->raw);
310 /* kvmppc_mmu_pte_flush(vcpu, ((u64)sre->vsid) << 28, 0xf0000000ULL); */
314 sre->vsid = (value & 0x0fffffff);
330 u64 *vsid)
339 gvsid = sr->vsid;
347 *vsid = VSID_REAL | esid;
350 *vsid = VSID_REAL_IR | gvsid;
353 *vsid = VSID_REAL_DR | gvsid;
357 *vsid = sr->vsid;
359 *vsid = VSID_BAT | gvsid;
366 *vsid |= VSID_PR;