void vga_hw_screen_dump(const char *filename)

{

    TextConsole *previous_active_console;



    previous_active_console = active_console;

    active_console = consoles[0];

    /* There is currently no way of specifying which screen we want to dump,

       so always dump the first one.  */

    if (consoles[0]->hw_screen_dump)

        consoles[0]->hw_screen_dump(consoles[0]->hw, filename);

    active_console = previous_active_console;

}

void vga_hw_screen_dump(const char *filename)

{

    TextConsole *previous_active_console;



    previous_active_console = active_console;

    active_console = consoles[0];

    



    if (consoles[0]->hw_screen_dump)

        consoles[0]->hw_screen_dump(consoles[0]->hw, filename);

    active_console = previous_active_console;

}

void FUNC_0(const char *VAR_0)

{

    TextConsole *previous_active_console;



    previous_active_console = active_console;

    active_console = consoles[0];

    



    if (consoles[0]->hw_screen_dump)

        consoles[0]->hw_screen_dump(consoles[0]->hw, VAR_0);

    active_console = previous_active_console;

}

void FUNC_0(const char *VAR_0)
{ TextConsole *previous_active_console; previous_active_console = active_console; active_console = consoles[0]; if (consoles[0]->hw_screen_dump)
consoles[0]->hw_screen_dump(consoles[0]->hw, VAR_0); active_console = previous_active_console; }