fttmr010_read_current_timer_down  133 drivers/clocksource/timer-fttmr010.c 	return fttmr010_read_current_timer_down();
fttmr010_read_current_timer_down  387 drivers/clocksource/timer-fttmr010.c 			fttmr010_read_current_timer_down;