| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Copyright 2011 Samsung Electronics Co., Ltd. |
| * http://www.samsung.com/ |
| * |
| * Header file for samsung s3c and s5p time support |
| */ |
| |
| #ifndef __ASM_PLAT_SAMSUNG_TIME_H |
| #define __ASM_PLAT_SAMSUNG_TIME_H __FILE__ |
| |
| /* Samsung HR-Timer Clock mode */ |
| enum samsung_timer_mode { |
| SAMSUNG_PWM0, |
| SAMSUNG_PWM1, |
| SAMSUNG_PWM2, |
| SAMSUNG_PWM3, |
| SAMSUNG_PWM4, |
| }; |
| |
| extern void __init samsung_set_timer_source(enum samsung_timer_mode event, |
| enum samsung_timer_mode source); |
| |
| extern void __init samsung_timer_init(void); |
| |
| #endif /* __ASM_PLAT_SAMSUNG_TIME_H */ |