HelenOS sources

decrementer_restart   53 kernel/arch/ppc32/include/arch/interrupt.h extern void decrementer_restart(void);
decrementer_restart   52 kernel/arch/ppc32/src/interrupt.c 	decrementer_restart();
decrementer_restart  166 kernel/arch/ppc32/src/interrupt.c 	decrementer_restart();