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;