write_io
add_debugger_command("outw", &write_io, "write io words (32-bit)");
add_debugger_command("out32", &write_io, "write io words (32-bit)");
add_debugger_command("outs", &write_io, "write io shorts (16-bit)");
add_debugger_command("out16", &write_io, "write io shorts (16-bit)");
add_debugger_command("outb", &write_io, "write io bytes (8-bit)");
add_debugger_command("out8", &write_io, "write io bytes (8-bit)");
remove_debugger_command("outw", &write_io);
remove_debugger_command("out32", &write_io);
remove_debugger_command("outs", &write_io);
remove_debugger_command("out16", &write_io);
remove_debugger_command("outb", &write_io);
remove_debugger_command("out8", &write_io);