x86/EFI: fix build ... after f6254405 ("xen/arm: compile and initialize vmap") moving the map_pages_to_xen() declaration. Reported-by: Olaf Hering Signed-off-by: Jan Beulich --- a/xen/arch/x86/efi/boot.c +++ b/xen/arch/x86/efi/boot.c @@ -8,6 +8,7 @@ #include #include #include +#include #include #include #include @@ -22,7 +23,6 @@ #define __ASSEMBLY__ /* avoid pulling in ACPI stuff (conflicts with EFI) */ #include #undef __ASSEMBLY__ -#include #include #include