_kern_spawn_thread
extern thread_id _kern_spawn_thread(
id = _kern_spawn_thread(&attributes);
thread->id = _kern_spawn_thread(&attributes);