Type Definition libc_interface::dev_t

type dev_t = u64;