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)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 } 35 module_init(rtc_init); 36