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

type blkcnt_t = u64;