__monitor         116 arch/x86/include/asm/mwait.h 		__monitor((void *)&current_thread_info()->flags, 0, 0);
__monitor         686 arch/x86/kernel/process.c 		__monitor((void *)&current_thread_info()->flags, 0, 0);
__monitor        1721 arch/x86/kernel/smpboot.c 		__monitor(mwait_ptr, 0, 0);