Searched refs:TPIDRRO_EL0 (Results 1 – 3 of 3) sorted by relevance
50 ctxt->sys_regs[TPIDRRO_EL0] = read_sysreg(tpidrro_el0); in __sysreg_save_user_state()122 write_sysreg(ctxt->sys_regs[TPIDRRO_EL0], tpidrro_el0); in __sysreg_restore_user_state()
123 TPIDRRO_EL0, /* Thread ID, User R/O */ enumerator181 #define c13_TID_URO (TPIDRRO_EL0 * 2)/* Thread ID, User R/O */
109 case TPIDRRO_EL0: return read_sysreg_s(SYS_TPIDRRO_EL0); in vcpu_read_sys_reg()152 case TPIDRRO_EL0: write_sysreg_s(val, SYS_TPIDRRO_EL0); return; in vcpu_write_sys_reg()1381 { SYS_DESC(SYS_TPIDRRO_EL0), NULL, reset_unknown, TPIDRRO_EL0 },
