top_mfn_p         538 arch/x86/xen/p2m.c 	unsigned long *top_mfn_p, *mid_mfn;
top_mfn_p         558 arch/x86/xen/p2m.c 		top_mfn_p = &p2m_top_mfn[topidx];
top_mfn_p         561 arch/x86/xen/p2m.c 		BUG_ON(virt_to_mfn(mid_mfn) != *top_mfn_p);
top_mfn_p         577 arch/x86/xen/p2m.c 			old_mfn = cmpxchg(top_mfn_p, missing_mfn, mid_mfn_mfn);