HAT_FORCE_PGUNLOAD
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(ppa[i], HAT_FORCE_PGUNLOAD);
HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(tpp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(targ, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(tpp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp0, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hati_pageunload(rootpp, 1, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(pp, HAT_FORCE_PGUNLOAD);
(void) hat_pageunload(expp, HAT_FORCE_PGUNLOAD);