drivers/rtc/rtc-efi-platform.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Moved from arch/ia64/kernel/time.c
   4  *
   5  * Copyright (C) 1998-2003 Hewlett-Packard Co
   6  *      Stephane Eranian <[email protected]>
   7  *      David Mosberger <[email protected]>
   8  * Copyright (C) 1999 Don Dugger <[email protected]>
   9  * Copyright (C) 1999-2000 VA Linux Systems
  10  * Copyright (C) 1999-2000 Walt Drummond <[email protected]>
  11  */
  12
  13 #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  14
  15 #include <linux/init.h>
  16 #include <linux/kernel.h>
  17 #include <linux/module.h>
  18 #include <linux/efi.h>
  19 #include <linux/platform_device.h>
  20
  21 static struct platform_device rtc_efi_dev = {
  22         .name = "rtc-efi",
  23         .id = -1,
  24 };
  25
  26 static int __init rtc_init(void)
  27 {
  28         if (efi_enabled(EFI_RUNTIME_SERVICES))
  29                 if (platform_device_register(&rtc_efi_dev) < 0)
  30                         pr_err("unable to register rtc device...\n");
  31
  32         /* not necessarily an error */
  33         return 0;
  34 }
  35 module_init(rtc_init);