page_destroy
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, dn);
page_destroy(pp, 0);
page_destroy(pp, 1);
page_destroy((pp), (dn)); \
void page_destroy(page_t *, int);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);
page_destroy(pp, 0);