1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (c) 2011 Heiko Stuebner <heiko@sntech.de>
4  *
5  * Samsung RTC Controller core functions
6  */
7 
8 #ifndef __RTC_CORE_S3C24XX_H
9 #define __RTC_CORE_S3C24XX_H __FILE__
10 
11 /* These functions are only for use with the core support code, such as
12  * the cpu specific initialisation code
13  */
14 
15 extern struct platform_device s3c_device_rtc;
16 
17 /* re-define device name depending on support. */
s3c_rtc_setname(char * name)18 static inline void s3c_rtc_setname(char *name)
19 {
20 	s3c_device_rtc.name = name;
21 }
22 
23 #endif /* __RTC_CORE_S3C24XX_H */
24