[][src]Type Definition rpi_pico_sdk::__uint64_t

type __uint64_t = c_ulonglong;