TPIDR_EL1
ctxt_sys_reg(ctxt, TPIDR_EL1) = read_sysreg(tpidr_el1);
write_sysreg(ctxt_sys_reg(ctxt, TPIDR_EL1), tpidr_el1);
__vcpu_assign_sys_reg(vcpu, TPIDR_EL1, read_sysreg(tpidr_el1));
write_sysreg(__vcpu_sys_reg(vcpu, TPIDR_EL1), tpidr_el1);
case TPIDR_EL1:
case TPIDR_EL1: val = read_sysreg_s(SYS_TPIDR_EL1); break;
case TPIDR_EL1: write_sysreg_s(val, SYS_TPIDR_EL1); break;
{ SYS_DESC(SYS_TPIDR_EL1), NULL, reset_unknown, TPIDR_EL1 },