[][src]Type Definition rpi_pico_sdk::__uint32_t

type __uint32_t = c_uint;