Type Alias __kernel_ptrdiff_t 

pub type __kernel_ptrdiff_t = i64;