pp0
r = pp0 + z * (pp1 + z * (pp2 + z * (pp3 + z * pp4)));
r = pp0 + z * (pp1 + z * (pp2 + z * (pp3 + z * pp4)));
page_t *pp0, *pp;
pp0 = pp++;
while (pp0 < pp) {
page_unlock(pp0++);
PP_SETMIGRATE(pp0);
while (pp0 < pp) {
(void) hat_pageunload(pp0, HAT_FORCE_PGUNLOAD);
ASSERT(hat_page_getshare(pp0) == 0);
page_unlock(pp0++);