Symbol: X86_IPI_HALT
sys/arch/ia64/include/intrdefs.h
86
#define X86_IPI_HALT 0x00000001
sys/arch/x86/include/intrdefs.h
67
#define X86_IPI_HALT 0x00000001