frontend/plat.h

   1 void plat_init(void);
   2 void plat_finish(void);
   3 void plat_minimize(void);
   4 void *plat_prepare_screenshot(int *w, int *h, int *bpp);
   5
   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);