void cpu_outb(pio_addr_t addr, uint8_t val)

{

    LOG_IOPORT("outb: %04"FMT_pioaddr" %02"PRIx8"\n", addr, val);

    trace_cpu_out(addr, val);

    ioport_write(0, addr, val);

}

void cpu_outb(pio_addr_t addr, uint8_t val)

{

    LOG_IOPORT("outb: %04"FMT_pioaddr" %02"PRIx8"\n", addr, val);

    trace_cpu_out(addr, val);

    ioport_write(0, addr, val);

}

void FUNC_0(pio_addr_t VAR_0, uint8_t VAR_1)

{

    LOG_IOPORT("outb: %04"FMT_pioaddr" %02"PRIx8"\n", VAR_0, VAR_1);

    trace_cpu_out(VAR_0, VAR_1);

    ioport_write(0, VAR_0, VAR_1);

}

void FUNC_0(pio_addr_t VAR_0, uint8_t VAR_1)
{ LOG_IOPORT("outb: %04"FMT_pioaddr" %02"PRIx8"\n", VAR_0, VAR_1); trace_cpu_out(VAR_0, VAR_1); ioport_write(0, VAR_0, VAR_1); }