xref: /freebsd/sys/i386/include/smp.h (revision fcb560670601b2a4d87bb31d7531c8dcc37ee71b)
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 <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 /* global data in mpboot.s */
29 extern int			bootMP_size;
30 
31 /* functions in mpboot.s */
32 void	bootMP(void);
33 
34 /* global data in mp_machdep.c */
35 extern int			mp_naps;
36 extern int			boot_cpu_id;
37 extern struct pcb		stoppcbs[];
38 extern int			cpu_apic_ids[];
39 #ifdef COUNT_IPIS
40 extern u_long *ipi_invltlb_counts[MAXCPU];
41 extern u_long *ipi_invlrng_counts[MAXCPU];
42 extern u_long *ipi_invlpg_counts[MAXCPU];
43 extern u_long *ipi_invlcache_counts[MAXCPU];
44 extern u_long *ipi_rendezvous_counts[MAXCPU];
45 extern u_long *ipi_lazypmap_counts[MAXCPU];
46 #endif
47 
48 /* IPI handlers */
49 inthand_t
50 	IDTVEC(invltlb),	/* TLB shootdowns - global */
51 	IDTVEC(invlpg),		/* TLB shootdowns - 1 page */
52 	IDTVEC(invlrng),	/* TLB shootdowns - page range */
53 	IDTVEC(invlcache),	/* Write back and invalidate cache */
54 	IDTVEC(ipi_intr_bitmap_handler), /* Bitmap based IPIs */
55 	IDTVEC(cpustop),	/* CPU stops & waits to be restarted */
56 	IDTVEC(cpususpend),	/* CPU suspends & waits to be resumed */
57 	IDTVEC(rendezvous),	/* handle CPU rendezvous */
58 	IDTVEC(lazypmap);	/* handle lazy pmap release */
59 
60 /* functions in mp_machdep.c */
61 void	cpu_add(u_int apic_id, char boot_cpu);
62 void	cpustop_handler(void);
63 #ifndef XEN
64 void	cpususpend_handler(void);
65 #endif
66 void	invltlb_handler(void);
67 void	invlpg_handler(void);
68 void	invlrng_handler(void);
69 void	invlcache_handler(void);
70 void	init_secondary(void);
71 void	ipi_startup(int apic_id, int vector);
72 void	ipi_all_but_self(u_int ipi);
73 #ifndef XEN
74 void 	ipi_bitmap_handler(struct trapframe frame);
75 #endif
76 void	ipi_cpu(int cpu, u_int ipi);
77 int	ipi_nmi_handler(void);
78 void	ipi_selected(cpuset_t cpus, u_int ipi);
79 u_int	mp_bootaddress(u_int);
80 void	smp_cache_flush(void);
81 void	smp_invlpg(vm_offset_t addr);
82 void	smp_masked_invlpg(cpuset_t mask, vm_offset_t addr);
83 void	smp_invlpg_range(vm_offset_t startva, vm_offset_t endva);
84 void	smp_masked_invlpg_range(cpuset_t mask, vm_offset_t startva,
85 	    vm_offset_t endva);
86 void	smp_invltlb(void);
87 void	smp_masked_invltlb(cpuset_t mask);
88 
89 #ifdef XEN
90 void ipi_to_irq_init(void);
91 #endif
92 #endif /* !LOCORE */
93 #endif /* SMP */
94 
95 #endif /* _KERNEL */
96 #endif /* _MACHINE_SMP_H_ */
97