static void vga_screen_dump(void *opaque, const char *filename)

{

    VGAState *s = (VGAState *)opaque;



    if (!(s->ar_index & 0x20))

        vga_screen_dump_blank(s, filename);

    else if (s->gr[6] & 1)

        vga_screen_dump_graphic(s, filename);

    else

        vga_screen_dump_text(s, filename);

}

static void vga_screen_dump(void *opaque, const char *filename)

{

    VGAState *s = (VGAState *)opaque;



    if (!(s->ar_index & 0x20))

        vga_screen_dump_blank(s, filename);

    else if (s->gr[6] & 1)

        vga_screen_dump_graphic(s, filename);

    else

        vga_screen_dump_text(s, filename);

}

    if (!(s->ar_index & 0x20))         vga_screen_dump_blank(s, filename);     else if (s->gr[6] & 1)         vga_screen_dump_graphic(s, filename);
static void FUNC_0(void *VAR_0, const char *VAR_1)

{

    VGAState *s = (VGAState *)VAR_0;



    if (!(s->ar_index & 0x20))

        vga_screen_dump_blank(s, VAR_1);

    else if (s->gr[6] & 1)

        vga_screen_dump_graphic(s, VAR_1);

    else

        vga_screen_dump_text(s, VAR_1);

}

static void FUNC_0(void *VAR_0, const char *VAR_1)
{ VGAState *s = (VGAState *)VAR_0; if (!(s->ar_index & 0x20))
vga_screen_dump_blank(s, VAR_1); else if (s->gr[6] & 1)
vga_screen_dump_graphic(s, VAR_1); else
vga_screen_dump_text(s, VAR_1); }