TASK_KEY
if (task->ct_flags & TASK_KEY)
task->ct_flags |= TASK_KEY;
task->ct_flags |= TASK_KEY;
if (task->ct_flags & TASK_KEY)
if (task->ct_flags & TASK_KEY)
if (task->ct_flags & TASK_KEY) {
KASSERT((task->ct_flags & TASK_KEY) == 0);
KASSERT(task->ct_flags & TASK_KEY);