Searched refs:TPIDR_EL1 (Results 1 – 3 of 3) sorted by relevance
73 ctxt->sys_regs[TPIDR_EL1] = read_sysreg(tpidr_el1); in __sysreg_save_el1_state()145 write_sysreg(ctxt->sys_regs[TPIDR_EL1], tpidr_el1); in __sysreg_restore_el1_state()
124 TPIDR_EL1, /* Thread ID, Privileged */ enumerator182 #define c13_TID_PRIV (TPIDR_EL1 * 2) /* Thread ID, Privileged */
110 case TPIDR_EL1: return read_sysreg_s(SYS_TPIDR_EL1); in vcpu_read_sys_reg()153 case TPIDR_EL1: write_sysreg_s(val, SYS_TPIDR_EL1); return; in vcpu_write_sys_reg()1356 { SYS_DESC(SYS_TPIDR_EL1), NULL, reset_unknown, TPIDR_EL1 },
