pci_write_io_32
pci_write_io_32(PCI_MECH1_REQ_PORT,
pci_write_io_32(PCI_MECH1_DATA_PORT, value);
pci_write_io_32(address + i * itemSize, value);
pci_write_io_32(PCI_MECH1_REQ_PORT,
pci_write_io_32(mappedIOAddress, value);
.write_io_32 = pci_write_io_32,
void pci_write_io_32(int mapped_io_addr, uint32 value);