virt_to_gfn
xatp.gpfn = virt_to_gfn(shared_info_page);
ctxt->ctrlreg[3] = xen_pfn_to_cr3(virt_to_gfn(swapper_pg_dir));
virt_to_gfn(info->page), 0);
virt_to_gfn(info->page));
.dest.u.gmfn = virt_to_gfn(key),
copy_op[0].dest.u.gmfn = virt_to_gfn(mapping + off);
copy_op[1].dest.u.gmfn = virt_to_gfn(mapping + off + len);
cop->dest.u.gmfn = virt_to_gfn(skb->data + skb_headlen(skb)
op->source.u.gmfn = virt_to_gfn(data);
virt_to_gfn(info->intf), 0);
virt_to_gfn(addr), flags);
virt_to_gfn(info->page));
eoi_gmfn.gmfn = virt_to_gfn(pirq_eoi_map);
init_control.control_gfn = virt_to_gfn(control_block);
expand_array.array_gfn = virt_to_gfn(array_page);
? virt_to_gfn(xen_start_info)
virt_to_gfn((void *)sring), 0);
gfn = virt_to_gfn(addr);
virt_to_gfn(xen_store_interface), 0 /* writable */);
xen_store_gfn = virt_to_gfn((void *)page);
virt_to_gfn(ring->intf), 0);
dev->otherend_id, virt_to_gfn(bytes) + i, 0);