Type Definition __darwin_pthread_mutexattr_t
rpi_pico_sdk_sys
type __darwin_pthread_mutexattr_t = _opaque_pthread_mutexattr_t;