pmap_pdetab_fixup
&& pmap_pdetab_fixup(pmap, addr)) {
bool pmap_pdetab_fixup(struct pmap *, vaddr_t);