static void qxl_exit_vga_mode(PCIQXLDevice *d)

{

    if (d->mode != QXL_MODE_VGA) {

        return;

    }

    trace_qxl_exit_vga_mode(d->id);


    qxl_destroy_primary(d, QXL_SYNC);

}
static void qxl_exit_vga_mode(PCIQXLDevice *d)

{

    if (d->mode != QXL_MODE_VGA) {

        return;

    }

    trace_qxl_exit_vga_mode(d->id);


    qxl_destroy_primary(d, QXL_SYNC);

}
static void FUNC_0(PCIQXLDevice *VAR_0)

{

    if (VAR_0->mode != QXL_MODE_VGA) {

        return;

    }

    trace_qxl_exit_vga_mode(VAR_0->id);


    qxl_destroy_primary(VAR_0, QXL_SYNC);

}
static void FUNC_0(PCIQXLDevice *VAR_0)
{ if (VAR_0->mode != QXL_MODE_VGA) { return; } trace_qxl_exit_vga_mode(VAR_0->id); qxl_destroy_primary(VAR_0, QXL_SYNC); }