mutex_cleanup      88 sys/include/sync.h void	 mutex_cleanup(task_t);
mutex_cleanup     189 sys/kern/task.c 	mutex_cleanup(task);