Type Alias __kernel_timer_t 

pub type __kernel_timer_t = c_int;