Searched refs:task_deallocate_external (Results 1 – 2 of 2) sorted by relevance
45 extern void task_deallocate_external(task_t task);
385 task_deallocate_external(task_t task) in task_deallocate_external() function558 task_deallocate_external(task_t task) in task_deallocate_external() function