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