pmap_mincore
pmap_mincore(map->pmap, addr, &pa) & MINCORE_SUPER) != 0) {
int pmap_mincore(pmap_t pmap, vm_offset_t addr, vm_paddr_t *pap);
mincoreinfo = pmap_mincore(pmap, addr, &pa);