arch_isa_read_io_32
&arch_isa_read_io_32,
arch_isa_read_io_32, arch_isa_write_io_32,
extern uint32 arch_isa_read_io_32(int mapped_io_addr);