vhci_rx_loop
int vhci_rx_loop(void *data);
tcp_rx = kthread_create(vhci_rx_loop, &vdev->ud, "vhci_rx");