1#include <pthread.h>
2
3int pthread_mutex_destroy(pthread_mutex_t *mutex)
4{
5	return 0;
6}
7