isc_taskmgr_dispatch
(void)isc_taskmgr_dispatch((isc_taskmgr_t *)manager);
isc_taskmgr_dispatch(isc_taskmgr_t *taskmgr);
(void)isc_taskmgr_dispatch(ctx->taskmgr);
(void) isc_taskmgr_dispatch(ctx->taskmgr);
isc_taskmgr_dispatch(NULL);