Type Definition linux_usb_functionfs_sys::__kernel_pid_t

type __kernel_pid_t = c_int;