1 void plat_minimize(void);
2 void *plat_prepare_screenshot(int *w, int *h, int *bpp);
3 void plat_step_volume(int is_up);
4 int plat_cpu_clock_get(void);
5 int plat_cpu_clock_apply(int cpu_clock);
6 int plat_get_bat_capacity(void);
8 // indirectly called from GPU plugin
9 void plat_gvideo_open(int is_pal);
10 void *plat_gvideo_set_mode(int *w, int *h, int *bpp);
11 void *plat_gvideo_flip(void);
12 void plat_gvideo_close(void);