| // SPDX-License-Identifier: GPL-2.0 | |
| /* | |
| * Moved from arch/ia64/kernel/time.c | |
| * | |
| * Copyright (C) 1998-2003 Hewlett-Packard Co | |
| * Stephane Eranian <eranian@hpl.hp.com> | |
| * David Mosberger <davidm@hpl.hp.com> | |
| * Copyright (C) 1999 Don Dugger <don.dugger@intel.com> | |
| * Copyright (C) 1999-2000 VA Linux Systems | |
| * Copyright (C) 1999-2000 Walt Drummond <drummond@valinux.com> | |
| */ | |
| #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt | |
| #include <linux/init.h> | |
| #include <linux/kernel.h> | |
| #include <linux/module.h> | |
| #include <linux/efi.h> | |
| #include <linux/platform_device.h> | |
| static struct platform_device rtc_efi_dev = { | |
| .name = "rtc-efi", | |
| .id = -1, | |
| }; | |
| static int __init rtc_init(void) | |
| { | |
| if (efi_enabled(EFI_RUNTIME_SERVICES)) | |
| if (platform_device_register(&rtc_efi_dev) < 0) | |
| pr_err("unable to register rtc device...\n"); | |
| /* not necessarily an error */ | |
| return 0; | |
| } | |
| module_init(rtc_init); |