c_uint

src/unix/unikraft/mod.rs

@@ -12,34 +12,6 @@ pub type c_ulong = u64;
 pub type c_char = i8;
 pub type wchar_t = i32;
 
-pub type c_schar = i8;
-pub type c_uchar = u8;
-pub type c_short = i16;
-pub type c_ushort = u16;
-pub type c_int = i32;
-pub type c_uint = u32;
-pub type c_float = f32;
-pub type c_double = f64;
-pub type c_longlong = i64;
-pub type c_ulonglong = u64;
-pub type intmax_t = i64;
-pub type uintmax_t = u64;
-
-pub type size_t = usize;
-pub type ptrdiff_t = isize;
-pub type intptr_t = isize;
-pub type uintptr_t = usize;
-pub type ssize_t = isize;
-
-pub type c_long = i64;
-pub type c_ulong = u64;
-
-pub type wint_t = u32;
-pub type wctype_t = i64;
-
-pub type regoff_t = size_t;
-pub type off_t = c_long;
-
 pub type speed_t = ::c_uint;
 pub type mode_t = u32;
 pub type dev_t = i16;
@@ -57,7 +29,7 @@ pub type nlink_t = u16;
 pub type blksize_t = c_long;
 pub type blkcnt_t = c_long;
 pub type stat64 = stat;
-pub type clockid_t = c_int;
+pub type clockid_t = ::c_int;
 pub type pthread_t = pte_handle_t;
 pub type pthread_attr_t = usize;
 pub type pthread_cond_t = usize;