SYS_TRBLIMITR_EL1
return read_sysreg_s(SYS_TRBLIMITR_EL1) & TRBLIMITR_EL1_E;
u64 trblimitr = read_sysreg_s(SYS_TRBLIMITR_EL1);
write_sysreg_s(trblimitr, SYS_TRBLIMITR_EL1);
u64 trblimitr = read_sysreg_s(SYS_TRBLIMITR_EL1);
write_sysreg_s(trblimitr, SYS_TRBLIMITR_EL1);
write_sysreg_s(0, SYS_TRBLIMITR_EL1);
u64 trblimitr = read_sysreg_s(SYS_TRBLIMITR_EL1);
u64 trblimitr = read_sysreg_s(SYS_TRBLIMITR_EL1);
u64 trblimitr = read_sysreg_s(SYS_TRBLIMITR_EL1);