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
12#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
13
14#include <linux/init.h>
15#include <linux/kernel.h>
16#include <linux/module.h>
17#include <linux/efi.h>
18#include <linux/platform_device.h>
19
20static struct platform_device rtc_efi_dev = {
21	.name = "rtc-efi",
22	.id = -1,
23};
24
25static int __init rtc_init(void)
26{
27	if (efi_enabled(EFI_RUNTIME_SERVICES))
28		if (platform_device_register(&rtc_efi_dev) < 0)
29			pr_err("unable to register rtc device...\n");
30
31	/* not necessarily an error */
32	return 0;
33}
34module_init(rtc_init);

 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
21static struct platform_device rtc_efi_dev = {
22	.name = "rtc-efi",
23	.id = -1,
24};
25
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}
35module_init(rtc_init);