profile_thread_id = /* then start profile thread. */
kernel_thread(kernel_task, profile_thread);
task->task_profiled = turnon;
profile_thread_id = /* then start profile thread. */
kernel_thread(kernel_task, profile_thread);
task->task_profiled = turnon;