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 */ 10 11 #ifndef _MACHINE_SMP_H_ 12 #define _MACHINE_SMP_H_ 13 14 #ifdef _KERNEL 15 16 #ifdef SMP 17 18 #ifndef LOCORE 19 20 #include <x86/x86_smp.h> 21 22 #include <sys/bus.h> 23 #include <machine/frame.h> 24 #include <machine/intr_machdep.h> 25 #include <x86/apicvar.h> 26 #include <machine/pcb.h> 27 28 inthand_t 29 IDTVEC(invltlb), /* TLB shootdowns - global */ 30 IDTVEC(invlpg), /* TLB shootdowns - 1 page */ 31 IDTVEC(invlrng), /* TLB shootdowns - page range */ 32 IDTVEC(invlcache); /* Write back and invalidate cache */ 33 34 /* functions in mpboot.s */ 35 void bootMP(void); 36 37 void invltlb_handler(void); 38 void invlpg_handler(void); 39 void invlrng_handler(void); 40 void invlcache_handler(void); 41 42 #endif /* !LOCORE */ 43 #endif /* SMP */ 44 45 #endif /* _KERNEL */ 46 #endif /* _MACHINE_SMP_H_ */ 47