static void qxl_hw_screen_dump(void *opaque, const char *filename, bool cswitch,

                               Error **errp)

{

    PCIQXLDevice *qxl = opaque;

    VGACommonState *vga = &qxl->vga;



    switch (qxl->mode) {

    case QXL_MODE_COMPAT:

    case QXL_MODE_NATIVE:

        qxl_render_update(qxl);

        ppm_save(filename, qxl->ssd.ds, errp);

        break;

    case QXL_MODE_VGA:

        vga->screen_dump(vga, filename, cswitch, errp);

        break;

    default:

        break;

    }

}

static void qxl_hw_screen_dump(void *opaque, const char *filename, bool cswitch,

                               Error **errp)

{

    PCIQXLDevice *qxl = opaque;

    VGACommonState *vga = &qxl->vga;



    switch (qxl->mode) {

    case QXL_MODE_COMPAT:

    case QXL_MODE_NATIVE:

        qxl_render_update(qxl);

        ppm_save(filename, qxl->ssd.ds, errp);

        break;

    case QXL_MODE_VGA:

        vga->screen_dump(vga, filename, cswitch, errp);

        break;

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, const char *VAR_1, bool VAR_2,

                               Error **VAR_3)

{

    PCIQXLDevice *qxl = VAR_0;

    VGACommonState *vga = &qxl->vga;



    switch (qxl->mode) {

    case QXL_MODE_COMPAT:

    case QXL_MODE_NATIVE:

        qxl_render_update(qxl);

        ppm_save(VAR_1, qxl->ssd.ds, VAR_3);

        break;

    case QXL_MODE_VGA:

        vga->screen_dump(vga, VAR_1, VAR_2, VAR_3);

        break;

    default:

        break;

    }

}

static void FUNC_0(void *VAR_0, const char *VAR_1, bool VAR_2,
Error **VAR_3)
{ PCIQXLDevice *qxl = VAR_0; VGACommonState *vga = &qxl->vga; switch (qxl->mode) { case QXL_MODE_COMPAT:
case QXL_MODE_NATIVE:
qxl_render_update(qxl); ppm_save(VAR_1, qxl->ssd.ds, VAR_3); break; case QXL_MODE_VGA:
vga->screen_dump(vga, VAR_1, VAR_2, VAR_3); break; default:
break; } }