SYS_TPIDR2_EL0
write_sysreg_s(0, SYS_TPIDR2_EL0);
p->thread.tpidr2_el0 = read_sysreg_s(SYS_TPIDR2_EL0);
current->thread.tpidr2_el0 = read_sysreg_s(SYS_TPIDR2_EL0);
write_sysreg_s(next->thread.tpidr2_el0, SYS_TPIDR2_EL0);
write_sysreg_s(0, SYS_TPIDR2_EL0);
u64 tpidr2_el0 = read_sysreg_s(SYS_TPIDR2_EL0);
write_sysreg_s(tpidr2_el0, SYS_TPIDR2_EL0);
{ SYS_DESC(SYS_TPIDR2_EL0), undef_access },