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 30inthand_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 */ 37void bootMP(void); 38 39void invltlb_handler(void); 40void invlpg_handler(void); 41void invlrng_handler(void); 42void invlcache_handler(void); 43 44#endif /* !LOCORE */ 45#endif /* SMP */ 46 47#endif /* _KERNEL */ 48#endif /* _MACHINE_SMP_H_ */ 49