kcpuset_match
if (kcpuset_match(cpus_running, ci->ci_kcpuset))
done = kcpuset_match(kcp, wanted);
if (kcpuset_match(cpus_running, curcpu()->ci_kcpuset))
if (cold || kcpuset_match(cpus_running, ci->ci_kcpuset))
KASSERT(kcpuset_match(csi->cpus_hatched, running));
if (kcpuset_match(cpus_running, ci->ci_data.cpu_kcpuset))
done = kcpuset_match(kcp, wanted);
if (kcpuset_match(cpus_running, curcpu()->ci_data.cpu_kcpuset))
if (cold || kcpuset_match(cpus_running, ci->ci_data.cpu_kcpuset))
while (!kcpuset_match(cpus, kcpuset_running))
while (!kcpuset_match(mtrr_waiting, kcpuset_running)) {
if (!kcpuset_match(target, kcpuset_attached)) {
while (!kcpuset_match(cpus, kcpuset_running))
bool kcpuset_match(const kcpuset_t *, const kcpuset_t *);
if (kcpuset_match(onproc, kcpuset_running)) {