virtio_device_name
name = virtio_device_name(pci_get_subdevice(dev));
const char *virtio_device_name(uint16_t devid);