[][src]Type Definition rpi_pico_sdk::__darwin_blkcnt_t

type __darwin_blkcnt_t = __int64_t;