page_free
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, dn);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(ppa[i], 0);
page_free(ppa[i], 0);
page_free(pp, 1);
page_free(pp, 1);
page_free((pp), (dn)); \
void page_free(page_t *, int);
page_free(pp, 0);
page_free(ppa[pg_idx], 0);
page_free(tpp, 1);
page_free(pp, 0);
page_free(*target, 1);
page_free(tpp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp_first, 1);
page_free(freep, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);
page_free(pp, 1);