Type Alias __kernel_time_t 

pub type __kernel_time_t = i64;