4 extern int default_cpu_clock;
7 void gp2x_video_changemode(int bpp);
8 void gp2x_memcpy_all_buffers(void *data, int offset, int len);
9 void gp2x_memset_all_buffers(int offset, int byte, int len);
10 void gp2x_make_fb_bufferable(int yes);
13 int gp2x_touchpad_read(int *x, int *y);
21 extern int gp2x_dev_id;
22 extern int gp2x_current_bpp;
24 unsigned int plat_get_ticks_ms_good(void);
25 unsigned int plat_get_ticks_us_good(void);
27 void gp2x_menu_init(void);