TPIDR_EL0
write_sysreg(ctxt_sys_reg(ctxt, TPIDR_EL0), tpidr_el0);
ctxt_sys_reg(ctxt, TPIDR_EL0) = read_sysreg(tpidr_el0);
case TPIDR_EL0:
case TPIDR_EL0: val = read_sysreg_s(SYS_TPIDR_EL0); break;
case TPIDR_EL0: write_sysreg_s(val, SYS_TPIDR_EL0); break;
{ SYS_DESC(SYS_TPIDR_EL0), NULL, reset_unknown, TPIDR_EL0 },