mwait_ptr        1666 arch/x86/kernel/smpboot.c 	void *mwait_ptr;
mwait_ptr        1706 arch/x86/kernel/smpboot.c 	mwait_ptr = &current_thread_info()->flags;
mwait_ptr        1719 arch/x86/kernel/smpboot.c 		clflush(mwait_ptr);
mwait_ptr        1721 arch/x86/kernel/smpboot.c 		__monitor(mwait_ptr, 0, 0);