[−][src]Type Definition rpi_pico_sdk::__darwin_id_t

type __darwin_id_t = __uint32_t;