// 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);