rem: static void pci_write_io_32(int mapped_io_addr, uint32 value)
add: pci_write_io_32(int mapped_io_addr, uint32 value)
context: static void pci_write_io_32(int mapped_io_addr, uint32 value){	out32(value, mapped_io_addr);}