Symbol: X86_IPI_NAMES
sys/arch/ia64/include/intrdefs.h
97
#define X86_IPI_NAMES { "halt IPI", "timeset IPI", "FPU flush IPI", \
sys/arch/x86/include/intrdefs.h
79
#define X86_IPI_NAMES { "halt IPI", "AST IPI", "generic IPI", \