HCR_VM
#define HCR_GUEST_FLAGS (HCR_TSC | HCR_TSW | HCR_TWE | HCR_TWI | HCR_VM | \
val |= HCR_VM;
wi->s2 = wi->regime == TR_EL10 && (hcr & (HCR_VM | HCR_DC));
!(vcpu_read_sys_reg(vcpu, HCR_EL2) & (HCR_VM | HCR_DC)))
if (params->hcr_el2 & HCR_VM)
params->hcr_el2 |= HCR_VM;
if (is_nested_ctxt(vcpu) && (vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM))
nested_stage2_enabled = hcr & HCR_VM;
s2_mmu->nested_stage2_enabled = vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM;