Type Definition sgx_libc::blkcnt_t

type blkcnt_t = i64;