Searched refs:SYS_TPIDR_EL0 (Results 1 – 2 of 2) sorted by relevance
382 #define SYS_TPIDR_EL0 sys_reg(3, 3, 13, 0, 2) macro
97 case TPIDR_EL0: return read_sysreg_s(SYS_TPIDR_EL0); in vcpu_read_sys_reg()140 case TPIDR_EL0: write_sysreg_s(val, SYS_TPIDR_EL0); return; in vcpu_write_sys_reg()1565 { SYS_DESC(SYS_TPIDR_EL0), NULL, reset_unknown, TPIDR_EL0 },
