DISR_EL1
ctxt_sys_reg(ctxt, DISR_EL1) = read_sysreg_s(SYS_VDISR_EL2);
vdisr = ctxt_sys_reg(ctxt, DISR_EL1);
{ SYS_DESC(SYS_DISR_EL1), NULL, reset_val, DISR_EL1, 0 },