Fix the declaration of pthread_mutexattr_gettype().