reassign_pfn
extern void reassign_pfn(pfn_t, mfn_t);
reassign_pfn(pp[i + offset]->p_pagenum, mfns[i]);
reassign_pfn(bln_stats.bln_max_pages + i, framelist[i]);
reassign_pfn(pp->p_pagenum, mfn_frames[i]);
reassign_pfn(pp->p_pagenum, mfn_frames[i]);
reassign_pfn(pfn_frames[i], MFN_INVALID);
reassign_pfn(pfn, MFN_INVALID);
reassign_pfn(pp[i * extlen + j]->p_pagenum,
void reassign_pfn(pfn_t pfn, mfn_t mfn);