/* Instantiate a platform device for the Kinetis on-chip RTC  */
void __init kinetis_rtc_init(void)
/* Instantiate a platform device for the Kinetis on-chip RTC  */
void __init kinetis_rtc_init(void)
{
	if (platform_device_register(&rtc_device)) {
		pr_err("%s: Failed to register RTC device\n", __func__);
	}
}