/* vmbus_device_release - Final callback release of the vmbus child device  */
static void vmbus_device_release(struct device *device)
/* vmbus_device_release - Final callback release of the vmbus child device  */
static void vmbus_device_release(struct device *device)
{
	struct device_context *device_ctx = device_to_device_context(device);
	DPRINT_ENTER(VMBUS_DRV);
	kfree(device_ctx);
	DPRINT_EXIT(VMBUS_DRV);
	return;
}