VIRTIO_ID_BALLOON
if (virtio_get_device_type(dev) != VIRTIO_ID_BALLOON)
{ VIRTIO_ID_BALLOON, "Balloon" },