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