Thomas Gleixner | 1ccea77 | 2019-05-19 15:51:43 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Shannon Zhao | be1aaf4 | 2016-04-07 20:03:32 +0800 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (c) 2015, Linaro Limited, Shannon Zhao |
Shannon Zhao | be1aaf4 | 2016-04-07 20:03:32 +0800 | [diff] [blame] | 4 | */ |
| 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 | */ |
| 13 | void __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 Grall | e371fd7 | 2017-04-24 18:58:39 +0100 | [diff] [blame] | 26 | efi.reset_system = xen_efi_reset_system; |
Shannon Zhao | be1aaf4 | 2016-04-07 20:03:32 +0800 | [diff] [blame] | 27 | } |
| 28 | EXPORT_SYMBOL_GPL(xen_efi_runtime_setup); |