TEXASR_PR
texasr &= ~(TEXASR_PR | TEXASR_HV);
texasr |= TEXASR_PR;
vcpu->arch.texasr &= ~(TEXASR_PR | TEXASR_HV);
vcpu->arch.texasr |= TEXASR_PR;
texasr |= TEXASR_PR;
if (texasr & TEXASR_PR)