Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / plat-samsung / include / plat / samsung-time.h
1 /* linux/arch/arm/plat-samsung/include/plat/samsung-time.h
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  * This program is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License version 2 as
10  * published by the Free Software Foundation.
11 */
12
13 #ifndef __ASM_PLAT_SAMSUNG_TIME_H
14 #define __ASM_PLAT_SAMSUNG_TIME_H __FILE__
15
16 /* SAMSUNG HR-Timer Clock mode */
17 enum samsung_timer_mode {
18         SAMSUNG_PWM0,
19         SAMSUNG_PWM1,
20         SAMSUNG_PWM2,
21         SAMSUNG_PWM3,
22         SAMSUNG_PWM4,
23 };
24
25 extern void __init samsung_set_timer_source(enum samsung_timer_mode event,
26                                         enum samsung_timer_mode source);
27
28 extern void __init samsung_timer_init(void);
29
30 #endif /* __ASM_PLAT_SAMSUNG_TIME_H */