[S390] idle: Fix machine check handling in idle loop.
[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);