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