Searched refs:SYS_TPIDRRO_EL0 (Results 1 – 3 of 3) sorted by relevance
631 case TPIDRRO_EL0: *val = read_sysreg_s(SYS_TPIDRRO_EL0); break; in __vcpu_read_sys_reg_from_cpu()676 case TPIDRRO_EL0: write_sysreg_s(val, SYS_TPIDRRO_EL0); break; in __vcpu_write_sys_reg_to_cpu()
478 #define SYS_TPIDRRO_EL0 sys_reg(3, 3, 13, 0, 3) macro
1642 { SYS_DESC(SYS_TPIDRRO_EL0), NULL, reset_unknown, TPIDRRO_EL0 },