xen_pte_unlock    831 arch/x86/xen/mmu.c 			xen_mc_callback(xen_pte_unlock, ptl);
xen_pte_unlock    956 arch/x86/xen/mmu.c 			xen_mc_callback(xen_pte_unlock, ptl);