blob: d687a73044bfa867aa920b3231bbe20f6b3fe552 [file] [log] [blame]
Thomas Gleixner1ccea772019-05-19 15:51:43 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Shannon Zhaobe1aaf42016-04-07 20:03:32 +08002/*
3 * Copyright (c) 2015, Linaro Limited, Shannon Zhao
Shannon Zhaobe1aaf42016-04-07 20:03:32 +08004 */
5
6#include <linux/efi.h>
7#include <xen/xen-ops.h>
8#include <asm/xen/xen-ops.h>
9
10/* Set XEN EFI runtime services function pointers. Other fields of struct efi,
11 * e.g. efi.systab, will be set like normal EFI.
12 */
13void __init xen_efi_runtime_setup(void)
14{
15 efi.get_time = xen_efi_get_time;
16 efi.set_time = xen_efi_set_time;
17 efi.get_wakeup_time = xen_efi_get_wakeup_time;
18 efi.set_wakeup_time = xen_efi_set_wakeup_time;
19 efi.get_variable = xen_efi_get_variable;
20 efi.get_next_variable = xen_efi_get_next_variable;
21 efi.set_variable = xen_efi_set_variable;
22 efi.query_variable_info = xen_efi_query_variable_info;
23 efi.update_capsule = xen_efi_update_capsule;
24 efi.query_capsule_caps = xen_efi_query_capsule_caps;
25 efi.get_next_high_mono_count = xen_efi_get_next_high_mono_count;
Julien Gralle371fd72017-04-24 18:58:39 +010026 efi.reset_system = xen_efi_reset_system;
Shannon Zhaobe1aaf42016-04-07 20:03:32 +080027}
28EXPORT_SYMBOL_GPL(xen_efi_runtime_setup);