TIMER_NAME         17 drivers/clocksource/timer-keystone.c #define TIMER_NAME			"timer-keystone"
TIMER_NAME         17 drivers/clocksource/timer-rockchip.c #define TIMER_NAME "rk_timer"
TIMER_NAME         11 drivers/clocksource/timer-sprd.c #define TIMER_NAME		"sprd_timer"