Type Definition rpi_pico_sdk_sys::ctypes::uint32_t

type uint32_t = u32;