aspeed_timer_init  420 drivers/clocksource/timer-fttmr010.c TIMER_OF_DECLARE(ast2400, "aspeed,ast2400-timer", aspeed_timer_init);
aspeed_timer_init  421 drivers/clocksource/timer-fttmr010.c TIMER_OF_DECLARE(ast2500, "aspeed,ast2500-timer", aspeed_timer_init);