virt_to_mfn
in_frames[i] = virt_to_mfn((void *)vaddr);
in_frame = virt_to_mfn((void *)vstart);
top[i] = virt_to_mfn(p2m_mid_missing_mfn);
mid[i] = virt_to_mfn(leaf);
p2m_top_mfn[topidx] = virt_to_mfn(p2m_mid_missing_mfn);
p2m_top_mfn[topidx] = virt_to_mfn(mid_mfn_p);
virt_to_mfn(p2m_top_mfn);
xen_pfn_to_cr3(virt_to_mfn(swapper_pg_dir));
BUG_ON(virt_to_mfn(mid_mfn) != *top_mfn_p);
missing_mfn = virt_to_mfn(p2m_mid_missing_mfn);
mid_mfn_mfn = virt_to_mfn(mid_mfn);
mid_mfn[p2m_mid_index(pfn)] = virt_to_mfn(p2m);
mfn_save = virt_to_mfn((void *)buf);
mfn_save = virt_to_mfn((void *)buf);