Type Definition __kernel_timer_t
Other items inlinux_raw_sys::v2_6_32::netlink
type __kernel_timer_t = c_int;