free_tls
free_tls(oldtcb, 2 * sizeof(uintptr_t), sizeof(uintptr_t));
free_tls(tcb, tcbsize, tcbalign);
void free_tls(void *, size_t, size_t);