e1000e_io_write(void *opaque, hwaddr addr,

                uint64_t val, unsigned size)

{

    E1000EState *s = opaque;

    uint32_t idx;



    switch (addr) {

    case E1000_IOADDR:

        trace_e1000e_io_write_addr(val);

        s->ioaddr = (uint32_t) val;

        return;

    case E1000_IODATA:

        if (e1000e_io_get_reg_index(s, &idx)) {

            trace_e1000e_io_write_data(idx, val);

            e1000e_core_write(&s->core, idx, val, sizeof(val));

        }

        return;

    default:

        trace_e1000e_wrn_io_write_unknown(addr);

        return;

    }

}

e1000e_io_write(void *opaque, hwaddr addr,

                uint64_t val, unsigned size)

{

    E1000EState *s = opaque;

    uint32_t idx;



    switch (addr) {

    case E1000_IOADDR:

        trace_e1000e_io_write_addr(val);

        s->ioaddr = (uint32_t) val;

        return;

    case E1000_IODATA:

        if (e1000e_io_get_reg_index(s, &idx)) {

            trace_e1000e_io_write_data(idx, val);

            e1000e_core_write(&s->core, idx, val, sizeof(val));

        }

        return;

    default:

        trace_e1000e_wrn_io_write_unknown(addr);

        return;

    }

}

    uint32_t idx;     uint32_t idx;
FUNC_0(void *VAR_0, hwaddr VAR_1,

                uint64_t VAR_2, unsigned VAR_3)

{

    E1000EState *s = VAR_0;

    uint32_t idx;



    switch (VAR_1) {

    case E1000_IOADDR:

        trace_e1000e_io_write_addr(VAR_2);

        s->ioaddr = (uint32_t) VAR_2;

        return;

    case E1000_IODATA:

        if (e1000e_io_get_reg_index(s, &idx)) {

            trace_e1000e_io_write_data(idx, VAR_2);

            e1000e_core_write(&s->core, idx, VAR_2, sizeof(VAR_2));

        }

        return;

    default:

        trace_e1000e_wrn_io_write_unknown(VAR_1);

        return;

    }

}

FUNC_0(void *VAR_0, hwaddr VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ E1000EState *s = VAR_0; uint32_t idx; switch (VAR_1) { case E1000_IOADDR:
trace_e1000e_io_write_addr(VAR_2); s->ioaddr = (uint32_t) VAR_2; return; case E1000_IODATA:
if (e1000e_io_get_reg_index(s, &idx)) { trace_e1000e_io_write_data(idx, VAR_2); e1000e_core_write(&s->core, idx, VAR_2, sizeof(VAR_2)); } return; default:
trace_e1000e_wrn_io_write_unknown(VAR_1); return; } }