v_tx_loop         150 drivers/usb/usbip/vudc.h int v_tx_loop(void *data);
v_tx_loop         148 drivers/usb/usbip/vudc_sysfs.c 		udc->ud.tcp_tx = kthread_get_run(&v_tx_loop,