Type Definition rpi_pico_sdk::ctypes::uint64_t

type uint64_t = u64;