1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright 2011 Samsung Electronics Co., Ltd. 4 * http://www.samsung.com/ 5 * 6 * Header file for samsung s3c and s5p time support 7 */ 8 9 #ifndef __ASM_PLAT_SAMSUNG_TIME_H 10 #define __ASM_PLAT_SAMSUNG_TIME_H __FILE__ 11 12 /* SAMSUNG HR-Timer Clock mode */ 13 enum samsung_timer_mode { 14 SAMSUNG_PWM0, 15 SAMSUNG_PWM1, 16 SAMSUNG_PWM2, 17 SAMSUNG_PWM3, 18 SAMSUNG_PWM4, 19 }; 20 21 extern void __init samsung_set_timer_source(enum samsung_timer_mode event, 22 enum samsung_timer_mode source); 23 24 extern void __init samsung_timer_init(void); 25 26 #endif /* __ASM_PLAT_SAMSUNG_TIME_H */ 27