1 #ifndef _X86_ASM_SETUP_H_ 2 #define _X86_ASM_SETUP_H_ 3 4 unsigned long setup_tss(u8 *stacktop); 5 6 #ifdef TARGET_EFI 7 #include "x86/apic.h" 8 #include "x86/smp.h" 9 10 void setup_efi(void); 11 #endif /* TARGET_EFI */ 12 13 #endif /* _X86_ASM_SETUP_H_ */ 14