]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | // SPDX-License-Identifier: GPL-2.0 |
da167ad7 MS |
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 | */ | |
a737e835 JP |
12 | |
13 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt | |
14 | ||
da167ad7 MS |
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); |