static void vga_screen_dump_blank(VGAState *s, const char *filename)

{

    FILE *f;

    unsigned int y, x, w, h;



    w = s->last_scr_width * sizeof(uint32_t);

    h = s->last_scr_height;



    f = fopen(filename, "wb");

    if (!f)

        return;

    fprintf(f, "P6\n%d %d\n%d\n", w, h, 255);

    for (y = 0; y < h; y++) {

        for (x = 0; x < w; x++) {

            fputc(0, f);

        }

    }

    fclose(f);

}

static void vga_screen_dump_blank(VGAState *s, const char *filename)

{

    FILE *f;

    unsigned int y, x, w, h;



    w = s->last_scr_width * sizeof(uint32_t);

    h = s->last_scr_height;



    f = fopen(filename, "wb");

    if (!f)

        return;

    fprintf(f, "P6\n%d %d\n%d\n", w, h, 255);

    for (y = 0; y < h; y++) {

        for (x = 0; x < w; x++) {

            fputc(0, f);

        }

    }

    fclose(f);

}

static void FUNC_0(VGAState *VAR_0, const char *VAR_1)

{

    FILE *f;

    unsigned int VAR_2, VAR_3, VAR_4, VAR_5;



    VAR_4 = VAR_0->last_scr_width * sizeof(uint32_t);

    VAR_5 = VAR_0->last_scr_height;



    f = fopen(VAR_1, "wb");

    if (!f)

        return;

    fprintf(f, "P6\n%d %d\n%d\n", VAR_4, VAR_5, 255);

    for (VAR_2 = 0; VAR_2 < VAR_5; VAR_2++) {

        for (VAR_3 = 0; VAR_3 < VAR_4; VAR_3++) {

            fputc(0, f);

        }

    }

    fclose(f);

}

static void FUNC_0(VGAState *VAR_0, const char *VAR_1)
{ FILE *f; unsigned int VAR_2, VAR_3, VAR_4, VAR_5; VAR_4 = VAR_0->last_scr_width * sizeof(uint32_t); VAR_5 = VAR_0->last_scr_height; f = fopen(VAR_1, "wb"); if (!f)
return; fprintf(f, "P6\n%d %d\n%d\n", VAR_4, VAR_5, 255); for (VAR_2 = 0; VAR_2 < VAR_5; VAR_2++) { for (VAR_3 = 0; VAR_3 < VAR_4; VAR_3++) { fputc(0, f); } } fclose(f); }