task_user_tls
*task_user_tls(p) = read_sysreg(tpidr_el0);
*task_user_tls(current) = read_sysreg(tpidr_el0);
write_sysreg(*task_user_tls(next), tpidr_el0);