decrementer_start 52 kernel/arch/ppc32/include/arch/interrupt.h extern void decrementer_start(uint32_t); decrementer_start 133 kernel/arch/ppc32/src/ppc32.c decrementer_start(freq / HZ);