HCR_TERR
.value = HCR_TERR,
.mask = HCR_TERR,
vcpu->arch.hcr_el2 |= HCR_TERR;
val |= HCR_TERR | HCR_TEA;