1 #include <xen/guest_access.h>
2 #include <compat/platform.h>
3 
4 #define efi_get_info efi_compat_get_info
5 #define xenpf_efi_info compat_pf_efi_info
6 
7 #define efi_runtime_call efi_compat_runtime_call
8 #define xenpf_efi_runtime_call compat_pf_efi_runtime_call
9 
10 #define xenpf_efi_guid compat_pf_efi_guid
11 #define xenpf_efi_time compat_pf_efi_time
12 
13 #define COMPAT
14 #undef DEFINE_XEN_GUEST_HANDLE
15 #define DEFINE_XEN_GUEST_HANDLE DEFINE_COMPAT_HANDLE
16 #undef XEN_GUEST_HANDLE
17 #define XEN_GUEST_HANDLE COMPAT_HANDLE
18 #undef guest_handle_okay
19 #define guest_handle_okay compat_handle_okay
20 #undef guest_handle_cast
21 #define guest_handle_cast compat_handle_cast
22 #undef __copy_from_guest
23 #define __copy_from_guest __copy_from_compat
24 #undef copy_from_guest_offset
25 #define copy_from_guest_offset copy_from_compat_offset
26 #undef copy_to_guest
27 #define copy_to_guest copy_to_compat
28 #undef __copy_to_guest_offset
29 #define __copy_to_guest_offset __copy_to_compat_offset
30 #include "runtime.c"
31