arch_isa_read_io_16
&arch_isa_read_io_16,
arch_isa_read_io_16, arch_isa_write_io_16,
extern uint16 arch_isa_read_io_16(int mapped_io_addr);