LXR linux/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 <eranian@hpl.hp.com>
   7 *      David Mosberger <davidm@hpl.hp.com>
   8 * Copyright (C) 1999 Don Dugger <don.dugger@intel.com>
   9 * Copyright (C) 1999-2000 VA Linux Systems
  10 * Copyright (C) 1999-2000 Walt Drummond <drummond@valinux.com>
  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
  21static struct platform_device rtc_efi_dev = {
  22        .name = "rtc-efi",
  23        .id = -1,
  24};
  25
  26static 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}
  35module_init(rtc_init);
  36