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 6c98ce6e0SAlexandru Elisei #ifdef CONFIG_EFI 7*670b1f54SNikos Nikoleris #include "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); 17c98ce6e0SAlexandru Elisei #endif /* CONFIG_EFI */ 18ad5fb883SZixuan Wang 190b7501c3SVarad Gautam void save_id(void); 20d6d3a3bdSSean Christopherson void bsp_rest_init(void); 210b7501c3SVarad Gautam void ap_start64(void); 220b7501c3SVarad Gautam 23dbd38004SZixuan Wang #endif /* _X86_ASM_SETUP_H_ */ 24