SYS_DISR_EL1
write_sysreg_s(0, SYS_DISR_EL1);
{ SYS_DESC(SYS_DISR_EL1), NULL, reset_val, DISR_EL1, 0 },