ref: 1a54d1f0b13124bfbc60a4ecf3ed1f15869c8e3d dir: /libnpe_pthread/pthread_mutex_destroy.c/
#include "_pthread.h" int pthread_mutex_destroy(pthread_mutex_t *const mutex) { USED(mutex); return 0; }