pmap_demote_l3e_locked
if (!pmap_demote_l3e_locked(pmap, l3e, sva, &lock)) {
pmap_demote_l3e_locked(pmap, l3e, va, &lock) &&
pmap_demote_l3e_locked(pmap, l3e, va, &lock))) {
if (!pmap_demote_l3e_locked(pmap, pd, va, lockp)) {
rv = pmap_demote_l3e_locked(pmap, pde, va, &lock);
} else if (!pmap_demote_l3e_locked(pmap, l3e, sva,
(void)pmap_demote_l3e_locked(pmap, l3e, va, &lock);
(void)pmap_demote_l3e_locked(pmap, l3e, pv->pv_va, &lock);
static bool pmap_demote_l3e_locked(pmap_t pmap, pml3_entry_t *l3e, vm_offset_t va,