text: /*
   * $FreeBSD: src/sys/ia64/include/smp.h,v 1.7 2002/05/12 05:54:21 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_MCA_RENDEZ		1
  #define	IPI_MCA_CMCV		2
  #define	IPI_TEST		3
  /* Machine independent IPIs. */
  #define	IPI_AST			4
  #define	IPI_RENDEZVOUS		5
  #define	IPI_STOP		6
  
  #define	IPI_COUNT		7
  
  #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);
  
  #endif /* !LOCORE */
  #endif /* _KERNEL */
  #endif /* !_MACHINE_SMP_H */
  