static void qxl_spice_destroy_surface_wait(PCIQXLDevice *qxl, uint32_t id,

                                           qxl_async_io async)

{

    if (async) {

#if SPICE_INTERFACE_QXL_MINOR < 1

        abort();

#else

        spice_qxl_destroy_surface_async(&qxl->ssd.qxl, id,

                                        (uint64_t)id);

#endif

    } else {

        qxl->ssd.worker->destroy_surface_wait(qxl->ssd.worker, id);

        qxl_spice_destroy_surface_wait_complete(qxl, id);

    }

}

static void qxl_spice_destroy_surface_wait(PCIQXLDevice *qxl, uint32_t id,

                                           qxl_async_io async)

{

    if (async) {

#if SPICE_INTERFACE_QXL_MINOR < 1

        abort();

#else

        spice_qxl_destroy_surface_async(&qxl->ssd.qxl, id,

                                        (uint64_t)id);

#endif

    } else {

        qxl->ssd.worker->destroy_surface_wait(qxl->ssd.worker, id);

        qxl_spice_destroy_surface_wait_complete(qxl, id);

    }

}

static void FUNC_0(PCIQXLDevice *VAR_0, uint32_t VAR_1,

                                           qxl_async_io VAR_2)

{

    if (VAR_2) {

#if SPICE_INTERFACE_QXL_MINOR < 1

        abort();

#else

        spice_qxl_destroy_surface_async(&VAR_0->ssd.VAR_0, VAR_1,

                                        (uint64_t)VAR_1);

#endif

    } else {

        VAR_0->ssd.worker->destroy_surface_wait(VAR_0->ssd.worker, VAR_1);

        qxl_spice_destroy_surface_wait_complete(VAR_0, VAR_1);

    }

}

static void FUNC_0(PCIQXLDevice *VAR_0, uint32_t VAR_1,
qxl_async_io VAR_2)
{ if (VAR_2) { #if SPICE_INTERFACE_QXL_MINOR < 1
abort(); #else
spice_qxl_destroy_surface_async(&VAR_0->ssd.VAR_0, VAR_1,
(uint64_t)VAR_1); #endif
} else { VAR_0->ssd.worker->destroy_surface_wait(VAR_0->ssd.worker, VAR_1); qxl_spice_destroy_surface_wait_complete(VAR_0, VAR_1); } }