1*514377d8SArd Biesheuvel // SPDX-License-Identifier: GPL-2.0 2*514377d8SArd Biesheuvel 3*514377d8SArd Biesheuvel #include <linux/efi.h> 4*514377d8SArd Biesheuvel #include <asm/efi.h> 5*514377d8SArd Biesheuvel 6*514377d8SArd Biesheuvel #include "efistub.h" 7*514377d8SArd Biesheuvel 8*514377d8SArd Biesheuvel const efi_system_table_t *efi_system_table; 9