Lines Matching defs:vsid
73 u64 *vsid);
83 u64 vsid;
89 kvmppc_mmu_book3s_32_esid_to_vsid(vcpu, eaddr >> SID_SHIFT, &vsid);
90 return (((u64)eaddr >> 12) & 0xffff) | (vsid << 16);
111 dprintk("MMU: pc=0x%lx eaddr=0x%lx sdr1=0x%llx pteg=0x%x vsid=0x%x\n",
156 u64 vsid;
158 eaddr >> SID_SHIFT, &vsid);
159 vsid <<= 16;
160 pte->vpage = (((u64)eaddr >> 12) & 0xffff) | vsid;
196 dprintk_pte("SR 0x%lx: vsid=0x%x, raw=0x%x\n", eaddr >> 28,
349 u64 *vsid)
367 *vsid = VSID_REAL | esid;
370 *vsid = VSID_REAL_IR | gvsid;
373 *vsid = VSID_REAL_DR | gvsid;
377 *vsid = sr_vsid(sr);
379 *vsid = VSID_BAT | gvsid;
386 *vsid |= VSID_PR;