* published by the Free Software Foundation.
*/
-struct sys_timer;
-
-extern struct sys_timer pxa_timer;
extern void __init pxa_map_io(void);
extern void __init pxa_init_irq(void);
+extern void __init pxa_init_time(void);
extern unsigned int get_clk_frequency_khz(int info);