update_contig_pfnlist
extern void update_contig_pfnlist(pfn_t, mfn_t, mfn_t);
update_contig_pfnlist(pfn, mfn_list[pfn], mfn);