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);