Searched refs:task_bank_reset (Results 1 – 2 of 2) sorted by relevance
1276 extern void task_bank_reset(task_t task);
855 task_bank_reset(__unused task_t task) in task_bank_reset() function2105 task_bank_reset(task); in task_deallocate_internal()