Symbol: xen_pte_unlock
arch/x86/xen/mmu_pv.c
785
xen_mc_callback(xen_pte_unlock, ptl);
arch/x86/xen/mmu_pv.c
904
xen_mc_callback(xen_pte_unlock, ptl);