pmap_demote_pde
} else if (!pmap_demote_pde(pmap, pde, va)) {
static bool pmap_demote_pde(pmap_t pmap, pd_entry_t *pde, vm_offset_t va);
if (ptpaddr == pbits || !pmap_demote_pde(pmap, pde,
} else if (!pmap_demote_pde(pmap, pde, sva))
if (!pmap_demote_pde(kernel_pmap, pde, tmpva))
(void)pmap_demote_pde(pmap, &pmap->pm_pdir[ptepindex], va);
static bool pmap_demote_pde(pmap_t pmap, pd_entry_t *pde, vm_offset_t va);
} else if (!pmap_demote_pde(pmap,
(void)pmap_demote_pde(pmap, pde, va);
if (!pmap_demote_pde(pmap,
pmap_demote_pde(pmap, pde, va);
if (!pmap_demote_pde(pmap, pde, sva))
(void)pmap_demote_pde(pmap, pde, va);
if (!pmap_demote_pde(pmap, pde, sva)) {
pmap_demote_pde(pmap, pde, va) &&
if (!pmap_demote_pde(kernel_pmap, pde, tmpva)) {