int isa_vga_mm_init(hwaddr vram_base,

                    hwaddr ctrl_base, int it_shift,

                    MemoryRegion *address_space)

{

    ISAVGAMMState *s;



    s = g_malloc0(sizeof(*s));



    s->vga.vram_size_mb = VGA_RAM_SIZE >> 20;

    vga_common_init(&s->vga);

    vga_mm_init(s, vram_base, ctrl_base, it_shift, address_space);



    s->vga.con = graphic_console_init(s->vga.update, s->vga.invalidate,

                                      s->vga.screen_dump, s->vga.text_update,

                                      s);



    vga_init_vbe(&s->vga, address_space);

    return 0;

}

int isa_vga_mm_init(hwaddr vram_base,

                    hwaddr ctrl_base, int it_shift,

                    MemoryRegion *address_space)

{

    ISAVGAMMState *s;



    s = g_malloc0(sizeof(*s));



    s->vga.vram_size_mb = VGA_RAM_SIZE >> 20;

    vga_common_init(&s->vga);

    vga_mm_init(s, vram_base, ctrl_base, it_shift, address_space);



    s->vga.con = graphic_console_init(s->vga.update, s->vga.invalidate,

                                      s->vga.screen_dump, s->vga.text_update,

                                      s);



    vga_init_vbe(&s->vga, address_space);

    return 0;

}

int FUNC_0(hwaddr VAR_0,

                    hwaddr VAR_1, int VAR_2,

                    MemoryRegion *VAR_3)

{

    ISAVGAMMState *s;



    s = g_malloc0(sizeof(*s));



    s->vga.vram_size_mb = VGA_RAM_SIZE >> 20;

    vga_common_init(&s->vga);

    vga_mm_init(s, VAR_0, VAR_1, VAR_2, VAR_3);



    s->vga.con = graphic_console_init(s->vga.update, s->vga.invalidate,

                                      s->vga.screen_dump, s->vga.text_update,

                                      s);



    vga_init_vbe(&s->vga, VAR_3);

    return 0;

}

int FUNC_0(hwaddr VAR_0,
hwaddr VAR_1, int VAR_2,
MemoryRegion *VAR_3)
{ ISAVGAMMState *s; s = g_malloc0(sizeof(*s)); s->vga.vram_size_mb = VGA_RAM_SIZE >> 20; vga_common_init(&s->vga); vga_mm_init(s, VAR_0, VAR_1, VAR_2, VAR_3); s->vga.con = graphic_console_init(s->vga.update, s->vga.invalidate,
s->vga.screen_dump, s->vga.text_update,
s); vga_init_vbe(&s->vga, VAR_3); return 0; }