1 #include <xen/bug.h>
2 #include <xen/efi.h>
3 #include <xen/errno.h>
4 
efi_enabled(unsigned int feature)5 bool efi_enabled(unsigned int feature)
6 {
7     return false;
8 }
9 
efi_rs_using_pgtables(void)10 bool efi_rs_using_pgtables(void)
11 {
12     return false;
13 }
14 
efi_get_time(void)15 unsigned long efi_get_time(void)
16 {
17     BUG();
18     return 0;
19 }
20 
efi_halt_system(void)21 void efi_halt_system(void) { }
efi_reset_system(bool warm)22 void efi_reset_system(bool warm) { }
23 
efi_get_info(uint32_t idx,union xenpf_efi_info * info)24 int efi_get_info(uint32_t idx, union xenpf_efi_info *info)
25 {
26     return -ENOSYS;
27 }
28 
efi_runtime_call(struct xenpf_efi_runtime_call * op)29 int efi_runtime_call(struct xenpf_efi_runtime_call *op)
30 {
31     return -ENOSYS;
32 }
33 
34 #ifdef CONFIG_COMPAT
35 
36 int efi_compat_get_info(uint32_t idx, union compat_pf_efi_info *)
37     __attribute__((__alias__("efi_get_info")));
38 
39 int efi_compat_runtime_call(struct compat_pf_efi_runtime_call *)
40     __attribute__((__alias__("efi_runtime_call")));
41 
42 #endif
43