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