Type Definition sgx_tstd::os::raw::dev_t

type dev_t = u64;