Type Definition linux_usb_functionfs_sys::__kernel_timer_t

type __kernel_timer_t = c_int;