1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright 2011 Samsung Electronics Co., Ltd.
4 * http://www.samsung.com/
6 * Header file for samsung s3c and s5p time support
9 #ifndef __ASM_PLAT_SAMSUNG_TIME_H
10 #define __ASM_PLAT_SAMSUNG_TIME_H __FILE__
12 /* SAMSUNG HR-Timer Clock mode */
13 enum samsung_timer_mode
{
21 extern void __init
samsung_set_timer_source(enum samsung_timer_mode event
,
22 enum samsung_timer_mode source
);
24 extern void __init
samsung_timer_init(void);
26 #endif /* __ASM_PLAT_SAMSUNG_TIME_H */