pfn_to_mfn
xen_info->store_mfn = pfn_to_mfn(hat_getpfnum(kas.a_hat,
gp->source.u.gmfn = pfn_to_mfn(hat_getpfnum(kas.a_hat, (caddr_t)rptr));
bdesc->buf_mfn = pfn_to_mfn(xnf_btop(bdesc->buf_phys));
bdesc->buf_mfn = pfn_to_mfn(xnf_btop(bdesc->buf_phys));
pfnarray[i - start] = pfn_to_mfn(pcp->dp_pparray[i]->p_pagenum);
t[1].arg1.mfn = pfn_to_mfn(hat->hat_user_ptable);
if (pfn >= mfn_count || pfn_to_mfn(pfn) != mfn)
t.arg1.mfn = pfn_to_mfn(pfn);
t.arg1.mfn = pfn_to_mfn(pfn);
if ((mfn = pfn_to_mfn(pp->p_pagenum)) < start_mfn)
if (pfn_to_mfn(probe_pfn) <= oldmfn)
probe_mfn = pfn_to_mfn(contig_pfn_list[probe_pos]);
mfn = pfn_to_mfn(pfn);
mfn_frames[i] = pfn_to_mfn(pp->p_pagenum);
mfn = pfn_to_mfn(pfn);
vgc->gdt_frames[0] = pfn_to_mfn(mmu_btop(cp->cpu_m.mcpu_gdtpa));
mfn_list_pages_page[i++] = pfn_to_mfn(pfn);
mfn_list_pages[j] = pfn_to_mfn(pfn);
= pfn_to_mfn(pfn);
start_info_mfn = pfn_to_mfn(pfn);
pfn_to_mfn(va_to_pfn(&mfn_list_pages[j]));
pfn_to_mfn(va_to_pfn((caddr_t)mfn_list + off));
pfn_to_mfn(va_to_pfn(mfn_list_pages_page));
pfn_to_mfn(pfn) != mfn)
mfn_t mfn = pfn_to_mfn(mmu_btop(pa));
mfn_t pfn_to_mfn(pfn_t);