Symbol: init_ppcbooke_tc
sys/arch/powerpc/booke/e500_timer.c
164
init_ppcbooke_tc();
sys/arch/powerpc/booke/e500_timer.c
59
static void init_ppcbooke_tc(void);