mutex_deallocate  156 sys/sync/mutex.c 	mutex_deallocate(m);
mutex_deallocate  172 sys/sync/mutex.c 		mutex_deallocate(m);