__asm9260_timer_shutdown  127 drivers/clocksource/asm9260_timer.c 	__asm9260_timer_shutdown(evt);
__asm9260_timer_shutdown  133 drivers/clocksource/asm9260_timer.c 	__asm9260_timer_shutdown(evt);
__asm9260_timer_shutdown  143 drivers/clocksource/asm9260_timer.c 	__asm9260_timer_shutdown(evt);