samsung_timer_mode   21 arch/arm/plat-samsung/include/plat/samsung-time.h extern void __init samsung_set_timer_source(enum samsung_timer_mode event,
samsung_timer_mode   22 arch/arm/plat-samsung/include/plat/samsung-time.h 					enum samsung_timer_mode source);