VDISR_EL2
ctxt_sys_reg(ctxt, VDISR_EL2) = read_sysreg_s(SYS_VDISR_EL2);
vdisr = ctxt_sys_reg(ctxt, VDISR_EL2);
EL2_REG_VNCR(VDISR_EL2, reset_unknown, 0),
REG_FEAT(VDISR_EL2, ID_AA64PFR0_EL1, RAS, IMP),
SYS_REG(VDISR_EL2),