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 #endif 46 47 /* IPI handlers */ 48 inthand_t 49 IDTVEC(invltlb), /* TLB shootdowns - global */ 50 IDTVEC(invlpg), /* TLB shootdowns - 1 page */ 51 IDTVEC(invlrng), /* TLB shootdowns - page range */ 52 IDTVEC(invlcache), /* Write back and invalidate cache */ 53 IDTVEC(ipi_intr_bitmap_handler), /* Bitmap based IPIs */ 54 IDTVEC(cpustop), /* CPU stops & waits to be restarted */ 55 IDTVEC(cpususpend), /* CPU suspends & waits to be resumed */ 56 IDTVEC(rendezvous); /* handle CPU rendezvous */ 57 58 /* functions in mp_machdep.c */ 59 void cpu_add(u_int apic_id, char boot_cpu); 60 void cpustop_handler(void); 61 #ifndef XEN 62 void cpususpend_handler(void); 63 #endif 64 void invltlb_handler(void); 65 void invlpg_handler(void); 66 void invlrng_handler(void); 67 void invlcache_handler(void); 68 void init_secondary(void); 69 void ipi_startup(int apic_id, int vector); 70 void ipi_all_but_self(u_int ipi); 71 #ifndef XEN 72 void ipi_bitmap_handler(struct trapframe frame); 73 #endif 74 void ipi_cpu(int cpu, u_int ipi); 75 int ipi_nmi_handler(void); 76 void ipi_selected(cpuset_t cpus, u_int ipi); 77 u_int mp_bootaddress(u_int); 78 void smp_cache_flush(void); 79 void smp_invlpg(vm_offset_t addr); 80 void smp_masked_invlpg(cpuset_t mask, vm_offset_t addr); 81 void smp_invlpg_range(vm_offset_t startva, vm_offset_t endva); 82 void smp_masked_invlpg_range(cpuset_t mask, vm_offset_t startva, 83 vm_offset_t endva); 84 void smp_invltlb(void); 85 void smp_masked_invltlb(cpuset_t mask); 86 87 #ifdef XEN 88 void ipi_to_irq_init(void); 89 #endif 90 #endif /* !LOCORE */ 91 #endif /* SMP */ 92 93 #endif /* _KERNEL */ 94 #endif /* _MACHINE_SMP_H_ */ 95