HCR_TEA
vcpu->arch.hcr_el2 |= HCR_TEA;
val |= HCR_TERR | HCR_TEA;
if (__vcpu_sys_reg(vcpu, HCR_EL2) & (HCR_TGE | HCR_TEA))