const char *renderer_names[] = { NULL };
const char *renderer_names32x[] = { NULL };
-char cpu_clk_name[] = "unused";
-
void plat_init(void)
{
g_screen_ptr = (void *)screen_buff;
}
// required by pico
-int mp3_get_bitrate(FILE *f, int size)
+int mp3_get_bitrate(void *f, int size)
{
return 128;
}
-void mp3_start_play(FILE *f, int pos)
+void mp3_start_play(void *f, int pos)
{
}