Searched refs:SYS_TRBPTR_EL1 (Results 1 – 3 of 3) sorted by relevance
119 return read_sysreg_s(SYS_TRBPTR_EL1); in get_trbe_write_pointer()125 write_sysreg_s(addr, SYS_TRBPTR_EL1); in set_trbe_write_pointer()
118 write_sysreg_s(0, SYS_TRBPTR_EL1); in trbe_reset_local()
338 #define SYS_TRBPTR_EL1 sys_reg(3, 0, 9, 11, 1) macro