public static extern int l4api_set_thread_area(L4Handle thread_id, IntPtr tls_array, int idx, ref userdesc info, int can_allocate);