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