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 
21 static struct platform_device rtc_efi_dev = {
22 	.name = "rtc-efi",
23 	.id = -1,
24 };
25 
rtc_init(void)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);
36