1 /* 2 * Moved from arch/ia64/kernel/time.c 3 * 4 * Copyright (C) 1998-2003 Hewlett-Packard Co 5 * Stephane Eranian <eranian@hpl.hp.com> 6 * David Mosberger <davidm@hpl.hp.com> 7 * Copyright (C) 1999 Don Dugger <don.dugger@intel.com> 8 * Copyright (C) 1999-2000 VA Linux Systems 9 * Copyright (C) 1999-2000 Walt Drummond <drummond@valinux.com> 10 */ 11 #include <linux/init.h> 12 #include <linux/kernel.h> 13 #include <linux/module.h> 14 #include <linux/efi.h> 15 #include <linux/platform_device.h> 16 17 static struct platform_device rtc_efi_dev = { 18 .name = "rtc-efi", 19 .id = -1, 20 }; 21 rtc_init(void)22static int __init rtc_init(void) 23 { 24 if (efi_enabled(EFI_RUNTIME_SERVICES)) 25 if (platform_device_register(&rtc_efi_dev) < 0) 26 pr_err("unable to register rtc device...\n"); 27 28 /* not necessarily an error */ 29 return 0; 30 } 31 module_init(rtc_init); 32