HCR_ATA
params->hcr_el2 |= HCR_ATA;
if (read_sysreg(HCR_EL2) & HCR_ATA)
vcpu->arch.hcr_el2 |= HCR_ATA;
val &= ~(HCR_DCT | HCR_ATA);