/*
   *	DEC platform devices.
   *
   *	Copyright (c) 2014  Maciej W. Rozycki
   *
   *	This program is free software; you can redistribute it and/or
   *	modify it under the terms of the GNU General Public License
   *	as published by the Free Software Foundation; either version
   *	2 of the License, or (at your option) any later version.
   */
  
  #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);