pfn_to_mfn
return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset);
return pfn_to_mfn(pfn);
#define virt_to_mfn(v) (pfn_to_mfn(virt_to_pfn(v)))
mfn = pfn_to_mfn(pfn);
mfn = pfn_to_mfn(pfn);
op.arg1.mfn = pfn_to_mfn(pfn);
mfn = pfn_to_mfn(PFN_DOWN(cr3));
op->arg1.mfn = pfn_to_mfn(pfn);
op.arg1.mfn = pfn_to_mfn(pfn);
WARN(pfn_to_mfn(pfn) != INVALID_P2M_ENTRY, "page must be ballooned");
xp.val = pfn_to_mfn(pfn);
unsigned long mfn = pfn_to_mfn(pfn);
mfn = pfn_to_mfn(ident_pfn_iter);
xen_remap_buf.mfns[i] = pfn_to_mfn(ident_pfn_iter + i);
pfn_to_mfn(xen_start_info->store_mfn);
pfn_to_mfn(xen_start_info->console.domU.mfn);