static void vmxnet3_deactivate_device(VMXNET3State *s)

{

    VMW_CBPRN("Deactivating vmxnet3...");

    s->device_active = false;

}

static void vmxnet3_deactivate_device(VMXNET3State *s)

{

    VMW_CBPRN("Deactivating vmxnet3...");

    s->device_active = false;

}

    VMW_CBPRN("Deactivating vmxnet3...");     s->device_active = false;
static void FUNC_0(VMXNET3State *VAR_0)

{

    VMW_CBPRN("Deactivating vmxnet3...");

    VAR_0->device_active = false;

}

static void FUNC_0(VMXNET3State *VAR_0)
{ VMW_CBPRN("Deactivating vmxnet3..."); VAR_0->device_active = false; }