HCR_DC
wi->s2 = wi->regime == TR_EL10 && (hcr & (HCR_VM | HCR_DC));
!(vcpu_read_sys_reg(vcpu, HCR_EL2) & (HCR_VM | HCR_DC)))
if (hcr & (HCR_DC | HCR_TGE)) {
(__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_DC)) {