CPUMASK_TESTZERO
if (CPUMASK_TESTZERO(mask1))
if (CPUMASK_TESTZERO(mask))
if (CPUMASK_TESTZERO(mask)) {
if (CPUMASK_TESTZERO(mask)) {
if (CPUMASK_TESTZERO(mask))
if (CPUMASK_TESTZERO(*cpumask))
if (CPUMASK_TESTZERO(mask)) {
if (CPUMASK_TESTZERO(mask)) {
if (CPUMASK_TESTZERO(tmpmask))
if (CPUMASK_TESTZERO(mask))
if (CPUMASK_TESTZERO(mask))
if (CPUMASK_TESTZERO(*msg->br_cpumask))
KKASSERT(CPUMASK_TESTZERO(pmap->pm_active));
KASSERT(CPUMASK_TESTZERO(pmap->pm_active),
KKASSERT(CPUMASK_TESTZERO(pmap->pm_active));
KASSERT(CPUMASK_TESTZERO(pmap->pm_active),
if (CPUMASK_TESTZERO(usched_cpu_used))