static void mux_chr_accept_input(CharDriverState *chr)

{

    int m = chr->focus;

    MuxDriver *d = chr->opaque;



    while (d->prod != d->cons &&

           d->chr_can_read[m] &&

           d->chr_can_read[m](d->ext_opaque[m])) {

        d->chr_read[m](d->ext_opaque[m],

                       &d->buffer[d->cons++ & MUX_BUFFER_MASK], 1);

    }

}

static void mux_chr_accept_input(CharDriverState *chr)

{

    int m = chr->focus;

    MuxDriver *d = chr->opaque;



    while (d->prod != d->cons &&

           d->chr_can_read[m] &&

           d->chr_can_read[m](d->ext_opaque[m])) {

        d->chr_read[m](d->ext_opaque[m],

                       &d->buffer[d->cons++ & MUX_BUFFER_MASK], 1);

    }

}

    while (d->prod != d->cons &&                        &d->buffer[d->cons++ & MUX_BUFFER_MASK], 1);
static void FUNC_0(CharDriverState *VAR_0)

{

    int VAR_1 = VAR_0->focus;

    MuxDriver *d = VAR_0->opaque;



    while (d->prod != d->cons &&

           d->chr_can_read[VAR_1] &&

           d->chr_can_read[VAR_1](d->ext_opaque[VAR_1])) {

        d->chr_read[VAR_1](d->ext_opaque[VAR_1],

                       &d->buffer[d->cons++ & MUX_BUFFER_MASK], 1);

    }

}

static void FUNC_0(CharDriverState *VAR_0)
{ int VAR_1 = VAR_0->focus; MuxDriver *d = VAR_0->opaque; while (d->prod != d->cons &&
d->chr_can_read[VAR_1] &&
d->chr_can_read[VAR_1](d->ext_opaque[VAR_1])) { d->chr_read[VAR_1](d->ext_opaque[VAR_1],
&d->buffer[d->cons++ & MUX_BUFFER_MASK], 1); } }