1 /*- 2 * ---------------------------------------------------------------------------- 3 * "THE BEER-WARE LICENSE" (Revision 42): 4 * <phk@FreeBSD.org> wrote this file. As long as you retain this notice you 5 * can do whatever you want with this stuff. If we meet some day, and you think 6 * this stuff is worth it, you can buy me a beer in return. Poul-Henning Kamp 7 * ---------------------------------------------------------------------------- 8 * 9 * $FreeBSD$ 10 * 11 */ 12 13 #ifndef _MACHINE_SMP_H_ 14 #define _MACHINE_SMP_H_ 15 16 #ifdef _KERNEL 17 18 #ifdef SMP 19 20 #ifndef LOCORE 21 22 #include <x86/x86_smp.h> 23 24 #include <sys/bus.h> 25 #include <machine/frame.h> 26 #include <machine/intr_machdep.h> 27 #include <x86/apicvar.h> 28 #include <machine/pcb.h> 29 30 /* functions in mpboot.s */ 31 void bootMP(void); 32 33 #endif /* !LOCORE */ 34 #endif /* SMP */ 35 36 #endif /* _KERNEL */ 37 #endif /* _MACHINE_SMP_H_ */ 38