vmbus_channel_rx_empty
while (!vmbus_channel_rx_empty(chan) ||
bool vmbus_channel_rx_empty(struct vmbus_channel *);