[][src]Type Definition sgx_tstd::os::raw::blkcnt_t

type blkcnt_t = u64;