SYS_ELR_EL12
case ELR_EL1: val = read_sysreg_s(SYS_ELR_EL12); break;
case ELR_EL1: write_sysreg_s(val, SYS_ELR_EL12); break;