raspberrypi/rpi.h

   1 void gpsp_plat_init(void);
   2 void gpsp_plat_quit(void);
   3
   4 #define PLAT_BUTTON_COUNT 17
   5 extern u32 button_plat_mask_to_config[PLAT_BUTTON_COUNT];
   6
   7 void *fb_flip_screen(void);
   8 void fb_set_mode(int w, int h, int buffers, int scale, int filter, int filter2);
   9 void fb_wait_vsync(void);