[PATCH] x86-64: Fix interrupt race in idle callback (3rd try)
[linux-2.6] / arch / m68k / hp300 / time.h
1 extern void hp300_sched_init(irq_handler_t vector);
2 extern unsigned long hp300_gettimeoffset (void);
3
4