vmbus_channel_tx_empty
!vmbus_channel_tx_empty(chan))) {
while (!vmbus_channel_tx_empty(sc->sc_prichan) &&
while (!vmbus_channel_tx_empty(sc->sc_prichan) &&
bool vmbus_channel_tx_empty(struct vmbus_channel *);