/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (c) 2011 Heiko Stuebner <heiko@sntech.de>
 *
 * Samsung RTC Controller core functions
 */

#ifndef __RTC_CORE_H
#define __RTC_CORE_H __FILE__

/* These functions are only for use with the core support code, such as
 * the cpu specific initialisation code
 */

extern struct platform_device s3c_device_rtc;

/* re-define device name depending on support. */
static inline void s3c_rtc_setname(char *name)
{
	s3c_device_rtc.name = name;
}

#endif /* __RTC_CORE_H */