Symbol: pci_write_io_32
src/add-ons/kernel/bus_managers/pci/pci_io.cpp
141
pci_write_io_32(int mapped_io_addr, uint32 value)
src/add-ons/kernel/bus_managers/pci/pci_io.cpp
59
pci_write_io_32(int mapped_io_addr, uint32 value)