PMAP_ISACTIVE
PMAP_ISACTIVE(pv->pv_pmap, cpu_id), cpu_id);
isactive = PMAP_ISACTIVE(pmap, cpu_id);
isactive = PMAP_ISACTIVE(pmap, cpu_id);
isactive = PMAP_ISACTIVE(pmap, cpu_id);
isactive = PMAP_ISACTIVE(pv->pv_pmap, cpu_id);
PMAP_ISACTIVE(pmap, cpu_id), cpu_id);
PMAP_ISACTIVE(pmap, ci->ci_cpuid) == 0) {