pmap_remove_specific
void pmap_remove_specific (pmap_t, vm_page_t);
pmap_remove_specific(info->pmap, p);