smp.h (145727) | smp.h (151634) |
---|---|
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 * | 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: head/sys/amd64/include/smp.h 145727 2005-04-30 20:01:00Z dwhite $ | 9 * $FreeBSD: head/sys/amd64/include/smp.h 151634 2005-10-24 21:04:19Z jhb $ |
10 * 11 */ 12 13#ifndef _MACHINE_SMP_H_ 14#define _MACHINE_SMP_H_ 15 16#ifdef _KERNEL 17 --- 40 unchanged lines hidden (view full) --- 58void smp_invlpg(vm_offset_t addr); 59void smp_masked_invlpg(u_int mask, vm_offset_t addr); 60void smp_invlpg_range(vm_offset_t startva, vm_offset_t endva); 61void smp_masked_invlpg_range(u_int mask, vm_offset_t startva, 62 vm_offset_t endva); 63void smp_invltlb(void); 64void smp_masked_invltlb(u_int mask); 65 | 10 * 11 */ 12 13#ifndef _MACHINE_SMP_H_ 14#define _MACHINE_SMP_H_ 15 16#ifdef _KERNEL 17 --- 40 unchanged lines hidden (view full) --- 58void smp_invlpg(vm_offset_t addr); 59void smp_masked_invlpg(u_int mask, vm_offset_t addr); 60void smp_invlpg_range(vm_offset_t startva, vm_offset_t endva); 61void smp_masked_invlpg_range(u_int mask, vm_offset_t startva, 62 vm_offset_t endva); 63void smp_invltlb(void); 64void smp_masked_invltlb(u_int mask); 65 |
66#ifdef KDB_STOP_NMI 67int ipi_nmi_handler(void); 68void ipi_nmi_selected(u_int32_t cpus); | 66#ifdef STOP_NMI 67int ipi_nmi_handler(void); |
69#endif 70 71#endif /* !LOCORE */ 72#endif /* SMP */ 73 74#endif /* _KERNEL */ 75#endif /* _MACHINE_SMP_H_ */ | 68#endif 69 70#endif /* !LOCORE */ 71#endif /* SMP */ 72 73#endif /* _KERNEL */ 74#endif /* _MACHINE_SMP_H_ */ |