SYS_TRBSR_EL1
status = read_sysreg_s(SYS_TRBSR_EL1);
write_sysreg_s(0, SYS_TRBSR_EL1);
u64 trbsr = read_sysreg_s(SYS_TRBSR_EL1);
write_sysreg_s(trbsr, SYS_TRBSR_EL1);
status = read_sysreg_s(SYS_TRBSR_EL1);
u64 trbsr = read_sysreg_s(SYS_TRBSR_EL1);
write_sysreg_s(trbsr, SYS_TRBSR_EL1);