hvsock_send_data
(void) hvsock_send_data(pcb->chan, NULL, 0,
static int hvsock_send_data(struct vmbus_channel *chan,
error = hvsock_send_data(pcb->chan, uio, to_write, sb);
(void) hvsock_send_data(pcb->chan, NULL, 0, NULL);