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 <machine/apicvar.h> 26 27 /* global symbols in mpboot.S */ 28 extern char mptramp_start[]; 29 extern char mptramp_end[]; 30 extern u_int32_t mptramp_pagetables; 31 32 /* global data in mp_machdep.c */ 33 extern int mp_naps; 34 extern int boot_cpu_id; 35 extern struct pcb stoppcbs[]; 36 extern struct mtx smp_tlb_mtx; 37 extern int cpu_apic_ids[]; 38 39 /* IPI handlers */ 40 inthand_t 41 IDTVEC(invltlb), /* TLB shootdowns - global */ 42 IDTVEC(invlpg), /* TLB shootdowns - 1 page */ 43 IDTVEC(invlrng), /* TLB shootdowns - page range */ 44 IDTVEC(invlcache), /* Write back and invalidate cache */ 45 IDTVEC(ipi_intr_bitmap_handler), /* Bitmap based IPIs */ 46 IDTVEC(cpustop), /* CPU stops & waits to be restarted */ 47 IDTVEC(rendezvous); /* handle CPU rendezvous */ 48 49 /* functions in mp_machdep.c */ 50 void cpu_add(u_int apic_id, char boot_cpu); 51 void cpustop_handler(void); 52 void init_secondary(void); 53 void ipi_selected(u_int cpus, u_int ipi); 54 void ipi_all(u_int ipi); 55 void ipi_all_but_self(u_int ipi); 56 void ipi_self(u_int ipi); 57 void ipi_bitmap_handler(struct trapframe frame); 58 u_int mp_bootaddress(u_int); 59 int mp_grab_cpu_hlt(void); 60 void mp_topology(void); 61 void smp_cache_flush(void); 62 void smp_invlpg(vm_offset_t addr); 63 void smp_masked_invlpg(u_int mask, vm_offset_t addr); 64 void smp_invlpg_range(vm_offset_t startva, vm_offset_t endva); 65 void smp_masked_invlpg_range(u_int mask, vm_offset_t startva, 66 vm_offset_t endva); 67 void smp_invltlb(void); 68 void smp_masked_invltlb(u_int mask); 69 70 #ifdef STOP_NMI 71 int ipi_nmi_handler(void); 72 #endif 73 74 #endif /* !LOCORE */ 75 #endif /* SMP */ 76 77 #endif /* _KERNEL */ 78 #endif /* _MACHINE_SMP_H_ */ 79