/* vmbus_child_device_unregister - Remove the specified child device from the vmbus.  */
static void vmbus_child_device_unregister(struct hv_device *child_device_obj)
/* vmbus_child_device_unregister - Remove the specified child device from the vmbus.  */
static void vmbus_child_device_unregister(struct hv_device *child_device_obj)
{
	struct device_context *device_ctx = to_device_context(device_obj);
	DPRINT_ENTER(VMBUS_DRV);
	DPRINT_INFO(VMBUS_DRV, "unregistering child device (%p)",
		    &device_ctx->device);
	device_unregister(&device_ctx->device);
	DPRINT_INFO(VMBUS_DRV, "child device (%p) unregistered",
		    &device_ctx->device);
	DPRINT_EXIT(VMBUS_DRV);
}