DEFAULT_SEND_IPI   16 arch/x86/mach-default/setup.c #define DEFAULT_SEND_IPI	(1)
DEFAULT_SEND_IPI   18 arch/x86/mach-default/setup.c #define DEFAULT_SEND_IPI	(0)