l4/pkg/linux-26-headers/include/asm-x86/mach-generic/mach_ipi.h

   1 #ifndef _MACH_IPI_H
   2 #define _MACH_IPI_H 1
   3
   4 #include <asm/genapic.h>
   5
   6 #define send_IPI_mask (genapic->send_IPI_mask)
   7 #define send_IPI_allbutself (genapic->send_IPI_allbutself)
   8 #define send_IPI_all (genapic->send_IPI_all)
   9
  10 #endif