pci_read_io_16
kprintf(" %04" B_PRIx16, pci_read_io_16(address + i * itemSize));
return pci_read_io_16(mappedIOAddress);
.read_io_16 = pci_read_io_16,
uint16 pci_read_io_16(int mapped_io_addr);