page_numtopp
page_t *page_numtopp(pfn_t, se_t);
pp = page_numtopp(pfnum, SE_EXCL);
pp = page_numtopp(pfn, SE_EXCL);