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
1190 extern void machine_task_terminate(task_t task);
2127 machine_task_terminate(task); in task_deallocate_internal()3466 machine_task_terminate(task); in task_complete_halt()