set_decr           52 bsp/hal/ppc/arch/clock.c 	set_decr(DECR_COUNT);
set_decr           69 bsp/hal/ppc/arch/clock.c 	set_decr(DECR_COUNT);
set_decr           38 bsp/hal/ppc/include/cpufunc.h void	 set_decr(uint32_t);