virtio_pci_io
if (pci_add_bar(id, PCI_MAPREG_TYPE_IO, virtio_pci_io,
bar_id = pci_add_bar(id, PCI_MAPREG_TYPE_IO, virtio_pci_io,
if (pci_add_bar(id, PCI_MAPREG_TYPE_IO, virtio_pci_io, dev)
int virtio_pci_io(int, uint16_t, uint32_t *, uint8_t *, void *, uint8_t);