[PATCH] Don't hide pthread_mutex_setpshared in os-linux.h