[][src]Type Definition linux_sys::__kernel_timer_t

type __kernel_timer_t = c_int;