Type Definition rpi_pico_sdk::user_size_t

type user_size_t = u_int64_t;