MWAIT_WAKEUP
MWAIT_WAKEUP(cp);
MWAIT_WAKEUP(cpu_seq[cpu_found]);
MWAIT_WAKEUP(cp); /* write to monitored line */
MWAIT_WAKEUP(cpu_seq[cpu_found]); /* write to monitored line */