page_release
(void) page_release(pp, 1);
(void) page_release(pptr, 1);
int page_release(page_t *, int);
switch (page_release(pp, 1)) {
(void) page_release(pp, 1);
(void) page_release(opp, 1);
(void) page_release(pp, 1);
(void) page_release(*ppp, 1);
(void) page_release(ppcur, 1);
(void) page_release(ppcur, 1);
(void) page_release(pp, 0);
(void) page_release(pp, 1);
(void) page_release(pp, 1);
(void) page_release(pp, 1);