}
sched_state = SCHED_SHUTTING_DOWN;
- nat i;
-
- for (i = 0; i < n_capabilities; i++) {
-#if defined(THREADED_RTS)
- ASSERT(task->incall->tso == NULL);
- shutdownCapability(&capabilities[i], task, wait_foreign);
-#endif
- traceCapsetRemoveCap(CAPSET_OSPROCESS_DEFAULT, i);
- }
- traceCapsetDelete(CAPSET_OSPROCESS_DEFAULT);
+ shutdownCapabilities(task, wait_foreign);
boundTaskExiting(task);
}