Searched refs:TPIDR_EL0 (Results 1 – 3 of 3) sorted by relevance
49 ctxt->sys_regs[TPIDR_EL0] = read_sysreg(tpidr_el0); in __sysreg_save_user_state()121 write_sysreg(ctxt->sys_regs[TPIDR_EL0], tpidr_el0); in __sysreg_restore_user_state()
122 TPIDR_EL0, /* Thread ID, User R/W */ enumerator180 #define c13_TID_URW (TPIDR_EL0 * 2) /* Thread ID, User R/W */
108 case TPIDR_EL0: return read_sysreg_s(SYS_TPIDR_EL0); in vcpu_read_sys_reg()151 case TPIDR_EL0: write_sysreg_s(val, SYS_TPIDR_EL0); return; in vcpu_write_sys_reg()1380 { SYS_DESC(SYS_TPIDR_EL0), NULL, reset_unknown, TPIDR_EL0 },
