@@ -3,6 +3,9 @@
* is intended to be included by common/efi/boot.c _only_, and
* therefore can define arch specific global variables.
*/
+#ifndef X86__EFI__EFI_BOOT_H
+#define X86__EFI__EFI_BOOT_H
+
#include <xen/vga.h>
#include <asm/e820.h>
#include <asm/edd.h>
@@ -912,6 +915,8 @@ void asmlinkage __init efi_multiboot2(EFI_HANDLE ImageHandle,
efi_exit_boot(ImageHandle, SystemTable);
}
+#endif /* X86__EFI__EFI_BOOT_H */
+
/*
* Local variables:
* mode: C
@@ -1,3 +1,6 @@
+#ifndef X86__EFI__RUNTIME_H
+#define X86__EFI__RUNTIME_H
+
#include <xen/domain_page.h>
#include <xen/mm.h>
#include <asm/atomic.h>
@@ -17,3 +20,5 @@ void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e)
}
}
#endif
+
+#endif /* X86__EFI__RUNTIME_H */