Symbol: arch_isa_write_io_32
src/add-ons/kernel/bus_managers/isa/isa.cpp
158
&arch_isa_write_io_32,
src/add-ons/kernel/bus_managers/isa/isa.cpp
186
arch_isa_read_io_32, arch_isa_write_io_32,
src/add-ons/kernel/bus_managers/isa/isa_arch.h
26
extern void arch_isa_write_io_32(int mapped_io_addr, uint32 value);