static void rtl8139_cplus_transmit(RTL8139State *s)

{

    int txcount = 0;



    while (rtl8139_cplus_transmit_one(s))

    {

        ++txcount;

    }



    /* Mark transfer completed */

    if (!txcount)

    {

        DPRINTF("C+ mode : transmitter queue stalled, current TxDesc = %d\n",

            s->currCPlusTxDesc);

    }

    else

    {

        /* update interrupt status */

        s->IntrStatus |= TxOK;

        rtl8139_update_irq(s);

    }

}

static void rtl8139_cplus_transmit(RTL8139State *s)

{

    int txcount = 0;



    while (rtl8139_cplus_transmit_one(s))

    {

        ++txcount;

    }



    

    if (!txcount)

    {

        DPRINTF("C+ mode : transmitter queue stalled, current TxDesc = %d\n",

            s->currCPlusTxDesc);

    }

    else

    {

        

        s->IntrStatus |= TxOK;

        rtl8139_update_irq(s);

    }

}

static void FUNC_0(RTL8139State *VAR_0)

{

    int VAR_1 = 0;



    while (rtl8139_cplus_transmit_one(VAR_0))

    {

        ++VAR_1;

    }



    

    if (!VAR_1)

    {

        DPRINTF("C+ mode : transmitter queue stalled, current TxDesc = %d\n",

            VAR_0->currCPlusTxDesc);

    }

    else

    {

        

        VAR_0->IntrStatus |= TxOK;

        rtl8139_update_irq(VAR_0);

    }

}

static void FUNC_0(RTL8139State *VAR_0)
{ int VAR_1 = 0; while (rtl8139_cplus_transmit_one(VAR_0))
{ ++VAR_1; } if (!VAR_1)
{ DPRINTF("C+ mode : transmitter queue stalled, current TxDesc = %d\n",
VAR_0->currCPlusTxDesc); } else
{ VAR_0->IntrStatus |= TxOK; rtl8139_update_irq(VAR_0); } }