pmap_populate
pmap_populate(ufi->orig_map->pmap, ufi->orig_rvaddr);
void pmap_populate(pmap_t, vaddr_t);