void qemu_spice_destroy_primary_surface(SimpleSpiceDisplay *ssd,

                                        uint32_t id, qxl_async_io async)

{

    if (async != QXL_SYNC) {

#if SPICE_INTERFACE_QXL_MINOR >= 1

        spice_qxl_destroy_primary_surface_async(&ssd->qxl, id, 0);

#else

        abort();

#endif

    } else {

        ssd->worker->destroy_primary_surface(ssd->worker, id);

    }

}

void qemu_spice_destroy_primary_surface(SimpleSpiceDisplay *ssd,

                                        uint32_t id, qxl_async_io async)

{

    if (async != QXL_SYNC) {

#if SPICE_INTERFACE_QXL_MINOR >= 1

        spice_qxl_destroy_primary_surface_async(&ssd->qxl, id, 0);

#else

        abort();

#endif

    } else {

        ssd->worker->destroy_primary_surface(ssd->worker, id);

    }

}

void FUNC_0(SimpleSpiceDisplay *VAR_0,

                                        uint32_t VAR_1, qxl_async_io VAR_2)

{

    if (VAR_2 != QXL_SYNC) {

#if SPICE_INTERFACE_QXL_MINOR >= 1

        spice_qxl_destroy_primary_surface_async(&VAR_0->qxl, VAR_1, 0);

#else

        abort();

#endif

    } else {

        VAR_0->worker->destroy_primary_surface(VAR_0->worker, VAR_1);

    }

}

void FUNC_0(SimpleSpiceDisplay *VAR_0,
uint32_t VAR_1, qxl_async_io VAR_2)
{ if (VAR_2 != QXL_SYNC) { #if SPICE_INTERFACE_QXL_MINOR >= 1
spice_qxl_destroy_primary_surface_async(&VAR_0->qxl, VAR_1, 0); #else
abort(); #endif
} else { VAR_0->worker->destroy_primary_surface(VAR_0->worker, VAR_1); } }