mid_mfn_mfn       566 arch/x86/xen/p2m.c 			unsigned long mid_mfn_mfn;
mid_mfn_mfn       576 arch/x86/xen/p2m.c 			mid_mfn_mfn = virt_to_mfn(mid_mfn);
mid_mfn_mfn       577 arch/x86/xen/p2m.c 			old_mfn = cmpxchg(top_mfn_p, missing_mfn, mid_mfn_mfn);