page_hashout
page_hashout(pp, NULL);
page_hashout(pp, NULL);
page_hashout(pp, (kmutex_t *)NULL);
void page_hashout(page_t *, kmutex_t *);
page_hashout(pp, NULL);
page_hashout(pp, NULL);
page_hashout(npp, NULL);
page_hashout(pp, NULL);
page_hashout(tpp, NULL);
page_hashout(pp, NULL);
page_hashout(opp, NULL);
page_hashout(pp, phm);
page_hashout(pp, NULL);
page_hashout(pp, NULL);
page_hashout(pp, phm);
page_hashout(pp, NULL);
page_hashout(pplist, NULL);
page_hashout(pplist, NULL);
page_hashout(pplist, NULL);
page_hashout(pp, NULL);
page_hashout(pp1, NULL);
page_hashout(pp, NULL);
page_hashout(pp, NULL);
page_hashout(pp, NULL);
page_hashout(pp, (kmutex_t *)NULL);
page_hashout(pp, NULL);
page_hashout(expp, NULL);
page_hashout(pp, NULL);
page_hashout(npp, (kmutex_t *)NULL);
page_hashout(rpp, NULL);