1// SPDX-License-Identifier: GPL-2.0-or-later
 2/*
 3 *	DEC platform devices.
 4 *
 5 *	Copyright (c) 2014  Maciej W. Rozycki
 6 */
 7
 8#include <linux/ioport.h>
 9#include <linux/kernel.h>
10#include <linux/mc146818rtc.h>
11#include <linux/platform_device.h>
12
13static struct resource dec_rtc_resources[] = {
14	{
15		.name = "rtc",
16		.flags = IORESOURCE_MEM,
17	},
18};
19
20static struct cmos_rtc_board_info dec_rtc_info = {
21	.flags = CMOS_RTC_FLAGS_NOFREQ,
22	.address_space = 64,
23};
24
25static struct platform_device dec_rtc_device = {
26	.name = "rtc_cmos",
27	.id = PLATFORM_DEVID_NONE,
28	.dev.platform_data = &dec_rtc_info,
29	.resource = dec_rtc_resources,
30	.num_resources = ARRAY_SIZE(dec_rtc_resources),
31};
32
33static int __init dec_add_devices(void)
34{
35	dec_rtc_resources[0].start = RTC_PORT(0);
36	dec_rtc_resources[0].end = RTC_PORT(0) + dec_kn_slot_size - 1;
37	return platform_device_register(&dec_rtc_device);
38}
39
40device_initcall(dec_add_devices);