[PATCH] Use the correct restart option for futex_lock_pi
[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);