Searched refs:machine_task_terminate (Results 1 – 4 of 4) sorted by relevance
212 machine_task_terminate(task_t task) in machine_task_terminate() function
231 machine_task_terminate(task_t task) in machine_task_terminate() function
1160 extern void machine_task_terminate(task_t task);
2114 machine_task_terminate(task); in task_deallocate_internal()3451 machine_task_terminate(task); in task_complete_halt()