You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
797 B
31 lines
797 B
/* |
|
* 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> |
|
*/ |
|
#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);
|
|
|