2 void plat_finish(void);
3 void plat_minimize(void);
4 void *plat_prepare_screenshot(int *w, int *h, int *bpp);
6 // indirectly called from GPU plugin
7 void plat_gvideo_open(int is_pal);
8 void *plat_gvideo_set_mode(int *w, int *h, int *bpp);
9 void *plat_gvideo_flip(void);
10 void plat_gvideo_close(void);