Type Alias __kernel_time_t

pub type __kernel_time_t = i64;