[PATCH] Time: Use clocksource infrastructure for update_wall_time
[linux-2.6] / arch / arm / mach-integrator / common.h
1 extern void integrator_time_init(unsigned long, unsigned int);
2 extern unsigned long integrator_gettimeoffset(void);