page_next
} while ((pp = page_next(pp)) != page0);
page_t *page_next(page_t *);
} while ((pp = page_next(pp)) != first);
} while ((pp = page_next(pp)) != page0);
} while ((pp = page_next(pp)) != page0);
pp = page_next(pp);