mfn_to_pfn
pfn = mfn_to_pfn(cookie->dmac_laddress >> MMU_PAGESHIFT);
(void) mfn_to_pfn(start_mfn);
pfn = mfn_to_pfn(mfn);
pfn = mfn_to_pfn(last_mfn);
return (mfn_to_pfn(mfn));
pfn_t pfn = mfn_to_pfn(mmu_btop(ma));
pfn_t mfn_to_pfn(mfn_t);