Type Definition esp_idf_bindgen::pthread_t

type pthread_t = __uint32_t;