/* FreeVmbusChannel - Release the resources used by the vmbus channel object  */
void FreeVmbusChannel(struct vmbus_channel *Channel)
/* FreeVmbusChannel - Release the resources used by the vmbus channel object  */
void FreeVmbusChannel(struct vmbus_channel *Channel)
{
	del_timer_sync(&Channel->poll_timer);
	osd_schedule_callback(gVmbusConnection.WorkQueue, ReleaseVmbusChannel,
			      Channel);
}