void pollux_init(void);
void pollux_finish(void);
+void dummy_init(void);
+void dummy_finish(void);
+
/* SoC specific functions */
extern void (*gp2x_video_flip)(void);
extern void (*gp2x_video_flip2)(void);
extern void (*unset_ram_timings)(void);
extern int (*gp2x_read_battery)(void);
+/* gettimeofday is not suitable for Wiz, at least fw 1.1 or lower */
+extern unsigned int (*gp2x_get_ticks_ms)(void);
+extern unsigned int (*gp2x_get_ticks_us)(void);