/* vmbus_child_device_destroy - Destroy the specified child device on the vmbus.  */
static void vmbus_child_device_destroy(struct hv_device *device_obj)
/* vmbus_child_device_destroy - Destroy the specified child device on the vmbus.  */
static void vmbus_child_device_destroy(struct hv_device *device_obj)
{
	DPRINT_ENTER(VMBUS_DRV);
	DPRINT_EXIT(VMBUS_DRV);
}