Changeset View

Standalone View

	Show All 21 Lines
	#include <x86/x86_smp.h>			#include <x86/x86_smp.h>

	#include <sys/bus.h>			#include <sys/bus.h>
	#include <machine/frame.h>			#include <machine/frame.h>
	#include <machine/intr_machdep.h>			#include <machine/intr_machdep.h>
	#include <x86/apicvar.h>			#include <x86/apicvar.h>
	#include <machine/pcb.h>			#include <machine/pcb.h>

				inthand_t
				IDTVEC(invltlb), /* TLB shootdowns - global */
				IDTVEC(invlpg), /* TLB shootdowns - 1 page */
				IDTVEC(invlrng), /* TLB shootdowns - page range */
				IDTVEC(invlcache); /* Write back and invalidate cache */

	/* functions in mpboot.s */			/* functions in mpboot.s */
	void bootMP(void);			void bootMP(void);

				void invltlb_handler(void);
				void invlpg_handler(void);
				void invlrng_handler(void);
				void invlcache_handler(void);

	#endif /* !LOCORE */			#endif /* !LOCORE */
	#endif /* SMP */			#endif /* SMP */

	#endif /* _KERNEL */			#endif /* _KERNEL */
	#endif /* _MACHINE_SMP_H_ */			#endif /* _MACHINE_SMP_H_ */