1 #ifndef _X86_ASM_SETUP_H_ 2 #define _X86_ASM_SETUP_H_ 3 4 unsigned long setup_tss(u8 *stacktop); 5 6 #ifdef CONFIG_EFI 7 #include "acpi.h" 8 #include "x86/apic.h" 9 #include "x86/processor.h" 10 #include "x86/smp.h" 11 #include "asm/page.h" 12 #include "efi.h" 13 #include "x86/amd_sev.h" 14 15 efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo); 16 void setup_5level_page_table(void); 17 #endif /* CONFIG_EFI */ 18 19 void save_id(void); 20 void bsp_rest_init(void); 21 void ap_start64(void); 22 23 #endif /* _X86_ASM_SETUP_H_ */ 24