MSR_IS
vcpu->arch.shadow_msr = MSR_USER | MSR_IS | MSR_DS;
return !!(vcpu->arch.shared->msr & (MSR_IS | MSR_DS));
if (get_tlb_ts(tlbe) != !!(vcpu->arch.shared->msr & MSR_IS))
unsigned int as = !!(vcpu->arch.shared->msr & MSR_IS);
unsigned int as = !!(vcpu->arch.shared->msr & MSR_IS);
addr_space = (vcpu->arch.shared->msr & MSR_IS) >> MSR_IR_LG;