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/* global data in mpboot.s */ 31extern int bootMP_size; 32 33/* functions in mpboot.s */ 34void bootMP(void); 35 36#endif /* !LOCORE */ 37#endif /* SMP */ 38 39#endif /* _KERNEL */ 40#endif /* _MACHINE_SMP_H_ */ 41