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