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