pmap_demote_l2_locked
} else if (pmap_demote_l2_locked(pmap, l2, sva,
pmap_demote_l2_locked(pmap, pte, va, &lock);
static pt_entry_t *pmap_demote_l2_locked(pmap_t pmap, pt_entry_t *l2,
(l3 = pmap_demote_l2_locked(pmap, l2, va, &lock)) != NULL) {
l3p = pmap_demote_l2_locked(pmap, l2p,
l3p = pmap_demote_l2_locked(pmap, l2p, va, lockp);
(void)pmap_demote_l2_locked(pmap, pte, va, &lock);
if (!pmap_demote_l2_locked(pmap, l2, sva, &lock)) {
pmap_demote_l2_locked(pmap, l2, va, &lock) &&
l3 = pmap_demote_l2_locked(pmap, l2, va, &lock);
} else if (!pmap_demote_l2_locked(pmap, l2, sva,
rv = pmap_demote_l2_locked(pmap, l2, va, &lock);
static bool pmap_demote_l2_locked(pmap_t pmap, pd_entry_t *l2,
((l2e & PTE_RWX) == 0 || pmap_demote_l2_locked(pmap, l2,
(void)pmap_demote_l2_locked(pmap, l2, va, &lock);
pmap_demote_l2_locked(pmap, l2, va, &lock) &&