pmap_demote_pte1
(void)pmap_demote_pte1(pmap, pte1p, va);
static bool pmap_demote_pte1(pmap_t pmap, pt1_entry_t *pte1p,
} else if (!pmap_demote_pte1(pmap, pte1p, sva)) {
(void)pmap_demote_pte1(pmap, pte1p, va);
if (!pmap_demote_pte1(pmap, pte1p, sva)) {
if (!pmap_demote_pte1(pmap, pte1p, sva))
(void)pmap_demote_pte1(pmap, pte1p, va);
if (!pmap_demote_pte1(pmap, pte1p, sva)) {
if (pmap_demote_pte1(pmap, pte1p, va) &&