Type Alias __kernel_timer_t

pub type __kernel_timer_t = i32;