samsung_set_timer_source  223 arch/arm/mach-s3c24xx/common.c void __init samsung_set_timer_source(unsigned int event, unsigned int source)
samsung_set_timer_source  173 arch/arm/mach-s3c64xx/common.c void __init samsung_set_timer_source(unsigned int event, unsigned int source)