Symbol: E500_CLOCK_TIMER
sys/arch/powerpc/booke/e500_intr.c
1234
cpu->cpu_clock_gtbcr = OPENPIC_GTBCR(ci->ci_cpuid, E500_CLOCK_TIMER);
sys/arch/powerpc/booke/e500_intr.c
1390
if (e500_intr_cpu_establish(ci, E500_CLOCK_TIMER, IPL_CLOCK, IST_TIMER,