// SPDX-License-Identifier: GPL-2.0-or-later
|
/*
|
* DEC platform devices.
|
*
|
* Copyright (c) 2014 Maciej W. Rozycki
|
*/
|
|
#include <linux/ioport.h>
|
#include <linux/kernel.h>
|
#include <linux/mc146818rtc.h>
|
#include <linux/platform_device.h>
|
|
static struct resource dec_rtc_resources[] = {
|
{
|
.name = "rtc",
|
.flags = IORESOURCE_MEM,
|
},
|
};
|
|
static struct cmos_rtc_board_info dec_rtc_info = {
|
.flags = CMOS_RTC_FLAGS_NOFREQ,
|
.address_space = 64,
|
};
|
|
static struct platform_device dec_rtc_device = {
|
.name = "rtc_cmos",
|
.id = PLATFORM_DEVID_NONE,
|
.dev.platform_data = &dec_rtc_info,
|
.resource = dec_rtc_resources,
|
.num_resources = ARRAY_SIZE(dec_rtc_resources),
|
};
|
|
static int __init dec_add_devices(void)
|
{
|
dec_rtc_resources[0].start = RTC_PORT(0);
|
dec_rtc_resources[0].end = RTC_PORT(0) + dec_kn_slot_size - 1;
|
return platform_device_register(&dec_rtc_device);
|
}
|
|
device_initcall(dec_add_devices);
|
