void cpu_outl(pio_addr_t addr, uint32_t val)

{

    LOG_IOPORT("outl: %04"FMT_pioaddr" %08"PRIx32"\n", addr, val);

    trace_cpu_out(addr, val);

    ioport_write(2, addr, val);

}

void cpu_outl(pio_addr_t addr, uint32_t val)

{

    LOG_IOPORT("outl: %04"FMT_pioaddr" %08"PRIx32"\n", addr, val);

    trace_cpu_out(addr, val);

    ioport_write(2, addr, val);

}

void FUNC_0(pio_addr_t VAR_0, uint32_t VAR_1)

{

    LOG_IOPORT("outl: %04"FMT_pioaddr" %08"PRIx32"\n", VAR_0, VAR_1);

    trace_cpu_out(VAR_0, VAR_1);

    ioport_write(2, VAR_0, VAR_1);

}

void FUNC_0(pio_addr_t VAR_0, uint32_t VAR_1)
{ LOG_IOPORT("outl: %04"FMT_pioaddr" %08"PRIx32"\n", VAR_0, VAR_1); trace_cpu_out(VAR_0, VAR_1); ioport_write(2, VAR_0, VAR_1); }