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 inthand_t 31 IDTVEC(invltlb), /* TLB shootdowns - global */ 32 IDTVEC(invlpg), /* TLB shootdowns - 1 page */ 33 IDTVEC(invlrng), /* TLB shootdowns - page range */ 34 IDTVEC(invlcache); /* Write back and invalidate cache */ 35 36 /* functions in mpboot.s */ 37 void bootMP(void); 38 39 void invltlb_handler(void); 40 void invlpg_handler(void); 41 void invlrng_handler(void); 42 void invlcache_handler(void); 43 44 #endif /* !LOCORE */ 45 #endif /* SMP */ 46 47 #endif /* _KERNEL */ 48 #endif /* _MACHINE_SMP_H_ */ 49