/*
*/
#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
/* Machine independent IPIs. */
#ifndef LOCORE
extern int ipi_vector[];
void ipi_all_but_self(int ipi);
#endif /* !LOCORE */
#endif /* _KERNEL */
#endif /* !_MACHINE_SMP_H */