579 	uint_t		cpu_found;  in cpu_wakeup()  local
623 		cpu_found = bitset_find(&cp->cp_haltset);  in cpu_wakeup()
624 		if (cpu_found == (uint_t)-1)  in cpu_wakeup()
626 	} while (bitset_atomic_test_and_del(&cp->cp_haltset, cpu_found) < 0);  in cpu_wakeup()
628 	if (cpu_found != CPU->cpu_seqid) {  in cpu_wakeup()
629 		poke_cpu(cpu_seq[cpu_found]->cpu_id);  in cpu_wakeup()
765 	uint_t		cpu_found;  in cpu_wakeup_mwait()  local
819 		cpu_found = bitset_find(&cpu_part->cp_haltset);  in cpu_wakeup_mwait()
820 		if (cpu_found == (uint_t)-1)  in cpu_wakeup_mwait()
823 	    cpu_found) < 0);  in cpu_wakeup_mwait()
829 	MWAIT_WAKEUP(cpu_seq[cpu_found]); /* write to monitored line */  in cpu_wakeup_mwait()