Type Definition rpi_pico_sdk::__darwin_useconds_t

type __darwin_useconds_t = __uint32_t;