Symbol: e500_clock_intr
sys/arch/powerpc/booke/e500_intr.c
1391
e500_clock_intr, NULL, iname) == NULL)
sys/arch/powerpc/include/booke/e500var.h
53
int e500_clock_intr(void *);