void pemu_validate_config(void);
void pemu_loop_prep(void);
void pemu_loop_end(void);
-void pemu_forced_frame(int opts, int no_scale);
+void pemu_forced_frame(int no_scale, int do_emu); // ..to g_menubg_src_ptr
void pemu_finalize_frame(const char *fps, const char *notice_msg);
void pemu_sound_start(void);
void plat_video_menu_enter(int is_rom_loaded);
void plat_video_menu_begin(void);
void plat_video_menu_end(void);
+void plat_video_menu_leave(void);
void plat_video_flip(void);
void plat_video_wait_vsync(void);
unsigned int plat_get_ticks_us(void);
void plat_wait_till_us(unsigned int us);
-const char *plat_get_credits(void);
void plat_debug_cat(char *str);
#ifdef __cplusplus