Searched refs:mwait_ptr (Results 1 – 1 of 1) sorted by relevance
1451 void *mwait_ptr; in mwait_play_dead() local1488 mwait_ptr = ¤t_thread_info()->flags; in mwait_play_dead()1501 clflush(mwait_ptr); in mwait_play_dead()1503 __monitor(mwait_ptr, 0, 0); in mwait_play_dead()