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