page_to_xen_pfn
frame_list[i] = page_to_xen_pfn(page);
xen_pfn = page_to_xen_pfn(page) + XEN_PFN_DOWN(addr & ~PAGE_MASK);
pfn_to_gfn(page_to_xen_pfn(phys_to_page(phys)) + i + pfn_offset),
args->frames[i] = page_to_xen_pfn(args->pages[i]);
xen_pfn = page_to_xen_pfn(page) + XEN_PFN_DOWN(offset);
xen_pfn = page_to_xen_pfn(pages[i / XEN_PFN_PER_PAGE]);
page_to_xen_pfn(pages[i / XEN_PFN_PER_PAGE]);
((uintptr_t)pfn_to_kaddr(page_to_xen_pfn(page)))
xen_pfn = page_to_xen_pfn(page);
return pfn_to_gfn(page_to_xen_pfn(page));