Type Alias __kernel_clock_t 

pub type __kernel_clock_t = i64;