Searched refs:virtio_device_string (Results 1 – 3 of 3) sorted by relevance
258 const char *virtio_device_string(int);
76 virtio_device_string(int id) in virtio_device_string() function
292 printf(": Virtio %s Device", virtio_device_string(id)); in virtio_mmio_attach()