X86_BUG_MONITOR   393 arch/x86/include/asm/cpufeatures.h #define X86_BUG_MONITOR			X86_BUG(12) /* IPI required to wake up remote CPU */
X86_BUG_MONITOR   392 tools/arch/x86/include/asm/cpufeatures.h #define X86_BUG_MONITOR			X86_BUG(12) /* IPI required to wake up remote CPU */