1dbd38004SZixuan Wang #ifndef _X86_ASM_SETUP_H_ 2dbd38004SZixuan Wang #define _X86_ASM_SETUP_H_ 3dbd38004SZixuan Wang 47e33895dSPaolo Bonzini unsigned long setup_tss(u8 *stacktop); 5dbd38004SZixuan Wang 6*c98ce6e0SAlexandru Elisei #ifdef CONFIG_EFI 7f20589d6SZixuan Wang #include "x86/acpi.h" 8ad5fb883SZixuan Wang #include "x86/apic.h" 9e6f65fa4SZixuan Wang #include "x86/processor.h" 10ad5fb883SZixuan Wang #include "x86/smp.h" 11e6f65fa4SZixuan Wang #include "asm/page.h" 121ae9072eSZixuan Wang #include "efi.h" 13350bf64aSZixuan Wang #include "x86/amd_sev.h" 14ad5fb883SZixuan Wang 15b4e8c300SZixuan Wang efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo); 16e6f65fa4SZixuan Wang void setup_5level_page_table(void); 17*c98ce6e0SAlexandru Elisei #endif /* CONFIG_EFI */ 18ad5fb883SZixuan Wang 19dbd38004SZixuan Wang #endif /* _X86_ASM_SETUP_H_ */ 20