CPUMASK_CMPMASKNEQ
while (CPUMASK_CMPMASKNEQ(cs->cs_mack, mask)) {
while (CPUMASK_CMPMASKNEQ(cs->cs_mack, mask)) {
while (CPUMASK_CMPMASKNEQ(cs->cs_mack, mask)) {
CPUMASK_CMPMASKNEQ(bp->b_cpumask, smp_active_mask)) {
if (CPUMASK_CMPMASKNEQ(stopped_cpus, mycpu->gd_other_cpus)) {
while (CPUMASK_CMPMASKNEQ(smp_invltlb_mask, mask)) {
} while (CPUMASK_CMPMASKNEQ(mask, map));
while (CPUMASK_CMPMASKNEQ(stopped_cpus, map))
while (CPUMASK_CMPMASKNEQ(smp_active_mask, smp_startup_mask)) {
while (CPUMASK_CMPMASKNEQ(smp_finalize_mask, smp_startup_mask)) {
while (CPUMASK_CMPMASKNEQ(smp_lapic_mask, smp_startup_mask)) {
if (CPUMASK_CMPMASKNEQ(tmp, info->mask)) {
if (CPUMASK_CMPMASKNEQ(info->mask, gd->gd_cpumask)) {
if (CPUMASK_CMPMASKNEQ(stopped_cpus, mycpu->gd_other_cpus)) {
while (CPUMASK_CMPMASKNEQ(smp_active_mask,smp_startup_mask)) {
if (CPUMASK_CMPMASKNEQ(usched_cpu_used, old_usched_used))