DECR_COUNT         52 bsp/hal/ppc/arch/clock.c 	set_decr(DECR_COUNT);
DECR_COUNT         69 bsp/hal/ppc/arch/clock.c 	set_decr(DECR_COUNT);