[S390] Make sure enabled wait psw is loaded in default_idle.
[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);