HCR_E2H
and \tmp, \tmp, #HCR_E2H
orr x0, x0, #HCR_E2H
#define HCR_HOST_VHE_FLAGS (HCR_RW | HCR_TGE | HCR_E2H | HCR_AMO | HCR_IMO | HCR_FMO)
(__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_E2H));
e2h = (hcr & HCR_E2H);
params->hcr_el2 |= HCR_E2H;
return ((val & (HCR_E2H | HCR_TGE | HCR_NV2 | HCR_NV1 | HCR_NV)) == (HCR_E2H | HCR_NV2 | HCR_NV));
vcpu->arch.hcr_el2 |= HCR_E2H;
val |= HCR_E2H;
vcpu->arch.hcr_el2 |= HCR_E2H;