pmap_present
if (!pmap_present(pte)) {
if (pte != NULL && pmap_present(pte))
pa = pmap_present(pte) ? pmap_ppn(pte) | (va & PAGE_MASK) : 0;
if (pmap_present(pte))
if (pmap_present(pte)) {
if (pte != NULL && pmap_present(pte))