Symbol: get_ppcbooke_timecount
sys/arch/powerpc/booke/e500_timer.c
60
static u_int get_ppcbooke_timecount(struct timecounter *);
sys/arch/powerpc/booke/e500_timer.c
63
.tc_get_timecount = get_ppcbooke_timecount,