page_numtopp_alloc
pp = page_numtopp_alloc(pfn);
if (page_numtopp_alloc(pfn) == NULL)
pp = page_numtopp_alloc(pfn);
(pp = page_numtopp_alloc(pfn)) != NULL &&
pp = page_numtopp_alloc(pfn);
extern page_t *page_numtopp_alloc(pfn_t pfnum);