pci_read_io_32
kprintf(" %08" B_PRIx32, pci_read_io_32(address + i * itemSize));
return pci_read_io_32(mappedIOAddress);
.read_io_32 = pci_read_io_32,
uint32 pci_read_io_32(int mapped_io_addr);