Symbol: __xen_set_pte
arch/x86/xen/mmu_pv.c
1271
pv_ops.mmu.set_pte = __xen_set_pte;
arch/x86/xen/mmu_pv.c
1509
__xen_set_pte(ptep, pte);
arch/x86/xen/mmu_pv.c
351
__xen_set_pte(ptep, pteval);