diff --git a/arch/x86/xen/efi.c b/arch/x86/xen/efi.c
index a02e09e18f57b160c8c5f036ac64d5e97a72a4c1..be14cc3e48d5fd8e0b5440396478a5c6a8932025 100644
--- a/arch/x86/xen/efi.c
+++ b/arch/x86/xen/efi.c
@@ -15,12 +15,14 @@
* with this program. If not, see .
*/
+#include
#include
#include
#include
#include
+#include
#include
void __init xen_efi_init(void)
diff --git a/drivers/xen/efi.c b/drivers/xen/efi.c
index 31f618a49661cac0a02e5d384c784c05dbb1bf31..1f850c97482f23e8b51a67e2d36a37f39fd21546 100644
--- a/drivers/xen/efi.c
+++ b/drivers/xen/efi.c
@@ -27,6 +27,8 @@
#include
#include
+#include
+
#include
#define INIT_EFI_OP(name) \