arch_isa_write_io_8
&arch_isa_write_io_8,
arch_isa_read_io_8, arch_isa_write_io_8,
extern void arch_isa_write_io_8(int mapped_io_addr, uint8 value);