HCR_TVM
vcpu->arch.hcr_el2 |= HCR_TVM;
.value = HCR_TVM,
.mask = HCR_TVM,
hcr |= HCR_TVM;
if (vcpu->arch.hcr_el2 & HCR_TVM)
if (!(hcr & HCR_TVM)) {
*vcpu_hcr(vcpu) = hcr | HCR_TVM;
*vcpu_hcr(vcpu) &= ~HCR_TVM;