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