SYS_TRBPTR_EL1
state->trbptr = read_sysreg_s(SYS_TRBPTR_EL1);
write_sysreg_s(state->trbptr, SYS_TRBPTR_EL1);
write_sysreg_s(0, SYS_TRBPTR_EL1);
return read_sysreg_s(SYS_TRBPTR_EL1);
write_sysreg_s(addr, SYS_TRBPTR_EL1);