TASKQUEUE_CALLBACK_TYPE_MIN
KASSERT(((cb_type >= TASKQUEUE_CALLBACK_TYPE_MIN) &&
TASKQUEUE_CALLBACK_TYPE_MIN, TASKQUEUE_CALLBACK_TYPE_MAX));