Searched refs:mwait_ptr (Results 1 – 1 of 1) sorted by relevance
1341 void *mwait_ptr; in mwait_play_dead() local1378 mwait_ptr = ¤t_thread_info()->flags; in mwait_play_dead()1390 clflush(mwait_ptr); in mwait_play_dead()1391 __monitor(mwait_ptr, 0, 0); in mwait_play_dead()