drivers/rtc/rtc-efi-platform.c

   1 /*
   2  * Moved from arch/ia64/kernel/time.c
   3  *
   4  * Copyright (C) 1998-2003 Hewlett-Packard Co
   5  *      Stephane Eranian <eranian@hpl.hp.com>
   6  *      David Mosberger <davidm@hpl.hp.com>
   7  * Copyright (C) 1999 Don Dugger <don.dugger@intel.com>
   8  * Copyright (C) 1999-2000 VA Linux Systems
   9  * Copyright (C) 1999-2000 Walt Drummond <drummond@valinux.com>
  10  */
  11 #include <linux/init.h>
  12 #include <linux/kernel.h>
  13 #include <linux/module.h>
  14 #include <linux/efi.h>
  15 #include <linux/platform_device.h>
  16
  17 static struct platform_device rtc_efi_dev = {
  18         .name = "rtc-efi",
  19         .id = -1,
  20 };
  21
  22 static int __init rtc_init(void)
  23 {
  24         if (efi_enabled(EFI_RUNTIME_SERVICES))
  25                 if (platform_device_register(&rtc_efi_dev) < 0)
  26                         pr_err("unable to register rtc device...\n");
  27
  28         /* not necessarily an error */
  29         return 0;
  30 }
  31 module_init(rtc_init);