diff options
Diffstat (limited to 'arch/x86/mach-efi/clocksource.c')
| -rw-r--r-- | arch/x86/mach-efi/clocksource.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/arch/x86/mach-efi/clocksource.c b/arch/x86/mach-efi/clocksource.c index 2023fa19ac..daf3b39658 100644 --- a/arch/x86/mach-efi/clocksource.c +++ b/arch/x86/mach-efi/clocksource.c @@ -1,11 +1,13 @@ +// SPDX-License-Identifier: GPL-2.0-only + #include <common.h> -#include <init.h> +#include <efi/efi-init.h> #include <driver.h> static int efi_x86_pure_init(void) { - struct device_d *dev = device_alloc("efi-cs-x86", DEVICE_ID_SINGLE); + struct device *dev = device_alloc("efi-cs-x86", DEVICE_ID_SINGLE); return platform_device_register(dev); } -core_initcall(efi_x86_pure_init); +core_efi_initcall(efi_x86_pure_init); |