static void vmxnet3_reset(VMXNET3State *s)

{

    VMW_CBPRN("Resetting vmxnet3...");



    vmxnet3_deactivate_device(s);

    vmxnet3_reset_interrupt_states(s);

    vmxnet_tx_pkt_reset(s->tx_pkt);

    s->drv_shmem = 0;

    s->tx_sop = true;

    s->skip_current_tx_pkt = false;

}

static void vmxnet3_reset(VMXNET3State *s)

{

    VMW_CBPRN("Resetting vmxnet3...");



    vmxnet3_deactivate_device(s);

    vmxnet3_reset_interrupt_states(s);

    vmxnet_tx_pkt_reset(s->tx_pkt);

    s->drv_shmem = 0;

    s->tx_sop = true;

    s->skip_current_tx_pkt = false;

}

    vmxnet_tx_pkt_reset(s->tx_pkt);     vmxnet_tx_pkt_reset(s->tx_pkt);
static void FUNC_0(VMXNET3State *VAR_0)

{

    VMW_CBPRN("Resetting vmxnet3...");



    vmxnet3_deactivate_device(VAR_0);

    vmxnet3_reset_interrupt_states(VAR_0);

    vmxnet_tx_pkt_reset(VAR_0->tx_pkt);

    VAR_0->drv_shmem = 0;

    VAR_0->tx_sop = true;

    VAR_0->skip_current_tx_pkt = false;

}

static void FUNC_0(VMXNET3State *VAR_0)
{ VMW_CBPRN("Resetting vmxnet3..."); vmxnet3_deactivate_device(VAR_0); vmxnet3_reset_interrupt_states(VAR_0); vmxnet_tx_pkt_reset(VAR_0->tx_pkt); VAR_0->drv_shmem = 0; VAR_0->tx_sop = true; VAR_0->skip_current_tx_pkt = false; }