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 */