Type Definition sgx_libc::dev_t

type dev_t = u64;