pmap_pte_ci
if (pmap_pte_ci(pte))
if (active_user_pmap(pmap) && !pmap_pte_ci(pte)) {
return (pmap_pte_ci(pmap_pte(pmap, va)) == 0) ? 1 : 0;
if (!needcflush && !pmap_pte_ci(pte))