__monitor         158 arch/x86/kernel/process.c 		__monitor((void *)&current_thread_info()->flags, 0, 0);
__monitor         169 arch/x86/kernel/process.c 		__monitor((void *)&current_thread_info()->flags, 0, 0);