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*ad5fb883SZixuan Wang #ifdef TARGET_EFI 7*ad5fb883SZixuan Wang #include "x86/apic.h" 8*ad5fb883SZixuan Wang #include "x86/smp.h" 9*ad5fb883SZixuan Wang 10*ad5fb883SZixuan Wang void setup_efi(void); 11*ad5fb883SZixuan Wang #endif /* TARGET_EFI */ 12*ad5fb883SZixuan Wang 13dbd38004SZixuan Wang #endif /* _X86_ASM_SETUP_H_ */ 14