/* DumpVmbusChannel - Dump vmbus channel info to the console  */
static void DumpVmbusChannel(struct vmbus_channel *channel)
/* DumpVmbusChannel - Dump vmbus channel info to the console  */
static void DumpVmbusChannel(struct vmbus_channel *channel)
{
	DPRINT_DBG(VMBUS, "Channel (%d)", Channel->OfferMsg.ChildRelId);
	DumpRingInfo(&Channel->Outbound, "Outbound ");
	DumpRingInfo(&Channel->Inbound, "Inbound ");
}