/* VmbusGetChannelInfo - Get the device info for the specified device object  */
static void VmbusGetChannelInfo(struct hv_device *DeviceObject, struct hv_device_info *DeviceInfo)
/* VmbusGetChannelInfo - Get the device info for the specified device object  */
static void VmbusGetChannelInfo(struct hv_device *DeviceObject, struct hv_device_info *DeviceInfo)
{
	GetChannelInfo(DeviceObject, DeviceInfo);
}