static void restore_current_video(void)
{
if (!config.vga)
return;
/* After all that fun up there, get permissions and save/restore states */
if (video_initialized) {
debug_vid("Restoring dosemu_regs[%d]\n", current_console);
get_perm();
#ifdef WANT_DUMP_VIDEO
dump_video();
#endif
restore_vga_state(dosemu_regs);
}
}
void myosd_video_flip(void)
{
dump_video();
}
void gp2x_video_flip_single(void)
{
dump_video();
}
void gp2x_video_flip(void)
{
dump_video();
}
