page_needfree
page_needfree(free_get);
page_needfree(-(spgcnt_t)free_get);
void page_needfree(spgcnt_t);
page_needfree(npages);
page_needfree(-(spgcnt_t)npages);
page_needfree(-(spgcnt_t)npages);
page_needfree(deficit);
page_needfree(-(spgcnt_t)deficit);