| /* | |
| * $FreeBSD: src/sys/ia64/include/smp.h,v 1.10 2005/08/06 20:28:19 marcel Exp $ | |
| */ | |
| #ifndef _MACHINE_SMP_H_ | |
| #define _MACHINE_SMP_H_ | |
| #ifdef _KERNEL | |
| /* | |
| * Interprocessor interrupts for SMP. The following values are indices | |
| * into the IPI vector table. The SAL gives us the vector used for AP | |
| * wake-up. We base the other vectors on that. Keep IPI_AP_WAKEUP at | |
| * index 0 and IPI_MCA_RENDEZ at index 1. See sal.c for details. | |
| */ | |
| /* Architecture specific IPIs. */ | |
| #define IPI_AP_WAKEUP 0 | |
| #define IPI_HIGH_FP 1 | |
| #define IPI_MCA_CMCV 2 | |
| #define IPI_MCA_RENDEZ 3 | |
| #define IPI_TEST 4 | |
| /* Machine independent IPIs. */ | |
| #define IPI_AST 5 | |
| #define IPI_RENDEZVOUS 6 | |
| #define IPI_STOP 7 | |
| #define IPI_COUNT 8 | |
| #ifndef LOCORE | |
| extern int ipi_vector[]; | |
| void ipi_all(int ipi); | |
| void ipi_all_but_self(int ipi); | |
| void ipi_selected(u_int64_t cpus, int ipi); | |
| void ipi_self(int ipi); | |
| void ipi_send(u_int64_t lid, int ipi); | |
| #endif /* !LOCORE */ | |
| #endif /* _KERNEL */ | |
| #endif /* !_MACHINE_SMP_H */ |