Symbol: gptimer_intr
sys/arch/armv7/omap/gptimer.c
210
arm_intr_establish(gptimer_irq, IPL_CLOCK, gptimer_intr,
sys/arch/armv7/omap/gptimer.c
99
int gptimer_intr(void *frame);