1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef X86_ASM_EFI_H
4 #define X86_ASM_EFI_H
5 
6 #include <xen/types.h>
7 #include <asm/x86_64/efibind.h>
8 #include <efi/efidef.h>
9 #include <efi/eficapsule.h>
10 #include <efi/eficon.h>
11 #include <efi/efidevp.h>
12 #include <efi/efiapi.h>
13 
14 void efi_multiboot2(EFI_HANDLE ImageHandle,
15                     EFI_SYSTEM_TABLE *SystemTable,
16                     const char *cmdline);
17 
18 #endif /* X86_ASM_EFI_H */
19