Searched refs:SYS_TPIDR_EL1 (Results 1 – 2 of 2) sorted by relevance
94 case TPIDR_EL1: *val = read_sysreg_s(SYS_TPIDR_EL1); break; in __vcpu_read_sys_reg_from_cpu()134 case TPIDR_EL1: write_sysreg_s(val, SYS_TPIDR_EL1); break; in __vcpu_write_sys_reg_to_cpu()1599 { SYS_DESC(SYS_TPIDR_EL1), NULL, reset_unknown, TPIDR_EL1 },
373 #define SYS_TPIDR_EL1 sys_reg(3, 0, 13, 0, 4) macro
