xen_pte_unlock    778 arch/x86/xen/mmu_pv.c 			xen_mc_callback(xen_pte_unlock, ptl);
xen_pte_unlock    912 arch/x86/xen/mmu_pv.c 			xen_mc_callback(xen_pte_unlock, ptl);