raspberry pi port

[gpsp.git] / raspberrypi / rpi.h

diff --git a/raspberrypi/rpi.h b/raspberrypi/rpi.h
new file mode 100644 (file)
index 0000000..536414d
--- /dev/null
+++ b/raspberrypi/rpi.h
@@ -0,0 +1,9 @@
+void gpsp_plat_init(void);
+void gpsp_plat_quit(void);
+
+#define PLAT_BUTTON_COUNT 17
+extern u32 button_plat_mask_to_config[PLAT_BUTTON_COUNT];
+
+void *fb_flip_screen(void);
+void fb_set_mode(int w, int h, int buffers, int scale, int filter, int filter2);
+void fb_wait_vsync(void);