blob: 6c037dc4e3dc4b1997b7769506f24f185f36482a [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Mark Salterda167ad2014-08-08 14:20:14 -07002/*
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 */
Joe Perchesa737e8352015-04-16 12:46:14 -070012
13#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
14
Mark Salterda167ad2014-08-08 14:20:14 -070015#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);