blob: 8916a2ec7be95fc00f363eebddc2d789bf88cbc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#include <xen/efi.h>
#include <xen/errno.h>
#include <xen/init.h>
#include <xen/lib.h>
#ifndef efi_enabled
const bool_t efi_enabled = 0;
#endif
void __init efi_init_memory(void) { }
unsigned long efi_get_time(void)
{
BUG();
return 0;
}
void efi_halt_system(void) { }
void efi_reset_system(bool_t warm) { }
int efi_get_info(uint32_t idx, union xenpf_efi_info *info)
{
return -ENOSYS;
}
int efi_compat_get_info(uint32_t idx, union compat_pf_efi_info *)
__attribute__((__alias__("efi_get_info")));
int efi_runtime_call(struct xenpf_efi_runtime_call *op)
{
return -ENOSYS;
}
int efi_compat_runtime_call(struct compat_pf_efi_runtime_call *)
__attribute__((__alias__("efi_runtime_call")));
|