Type Definition linux_sys::__kernel_ptrdiff_t

type __kernel_ptrdiff_t = c_int;