300 	REQUIRE(EMPTY(task->events));  in task_finished()
301 	REQUIRE(EMPTY(task->on_shutdown));  in task_finished()
302 	REQUIRE(task->references == 0);  in task_finished()
303 	REQUIRE(task->state == task_state_done);  in task_finished()
337 	REQUIRE(VALID_MANAGER(manager));  in isc__task_create()
338 	REQUIRE(taskp != NULL && *taskp == NULL);  in isc__task_create()
399 	REQUIRE(VALID_TASK(source));  in isc__task_attach()
400 	REQUIRE(targetp != NULL && *targetp == NULL);  in isc__task_attach()
461 	REQUIRE(VALID_MANAGER(manager));  in task_ready()
462 	REQUIRE(task->state == task_state_ready);  in task_ready()
482 	REQUIRE(task->references > 0);  in task_detach()
513 	REQUIRE(taskp != NULL);  in isc__task_detach()
515 	REQUIRE(VALID_TASK(task));  in isc__task_detach()
538 	REQUIRE(eventp != NULL);  in task_send()
540 	REQUIRE(event != NULL);  in task_send()
541 	REQUIRE(event->ev_type > 0);  in task_send()
542 	REQUIRE(task->state != task_state_done);  in task_send()
568 	REQUIRE(VALID_TASK(task));  in isc__task_send()
611 	REQUIRE(taskp != NULL);  in isc__task_sendanddetach()
613 	REQUIRE(VALID_TASK(task));  in isc__task_sendanddetach()
645 	REQUIRE(VALID_TASK(task));  in dequeue_events()
646 	REQUIRE(last >= first);  in dequeue_events()
733 	REQUIRE(VALID_TASK(task));  in isc__task_purgeevent()
808 	REQUIRE(VALID_TASK(task));  in isc__task_onshutdown()
809 	REQUIRE(action != NULL);  in isc__task_onshutdown()
843 	REQUIRE(VALID_TASK(task));  in isc__task_shutdown()
860 	REQUIRE(taskp != NULL);  in isc__task_destroy()
874 	REQUIRE(VALID_TASK(task));  in isc__task_setname()
887 	REQUIRE(VALID_TASK(task));  in isc__task_getname()
896 	REQUIRE(VALID_TASK(task));  in isc__task_gettag()
905 	REQUIRE(VALID_TASK(task));  in isc__task_getcurrenttime()
906 	REQUIRE(t != NULL);  in isc__task_getcurrenttime()
986 	REQUIRE(VALID_MANAGER(manager));  in dispatch()
1332 	REQUIRE(workers > 0);  in isc__taskmgr_create()
1333 	REQUIRE(managerp != NULL && *managerp == NULL);  in isc__taskmgr_create()
1465 	REQUIRE(managerp != NULL);  in isc__taskmgr_destroy()
1467 	REQUIRE(VALID_MANAGER(manager));  in isc__taskmgr_destroy()
1645 	REQUIRE(task->state == task_state_running);  in isc__task_beginexclusive()
1668 	REQUIRE(task->state == task_state_running);  in isc__task_endexclusive()
1670 	REQUIRE(manager->exclusive_requested);  in isc__task_endexclusive()
1728 	REQUIRE(VALID_TASK(task));  in isc_task_exiting()