Type Definition __darwin_pthread_t
rpi_pico_sdk_sys
type __darwin_pthread_t = *mut _opaque_pthread_t;