xen_set_pte      1000 arch/x86/xen/enlighten.c 	xen_set_pte(ptep, pte);
xen_set_pte      1035 arch/x86/xen/enlighten.c 	pv_mmu_ops.set_pte = xen_set_pte;
xen_set_pte      1303 arch/x86/xen/enlighten.c 	.set_pte = xen_set_pte,
xen_set_pte       393 arch/x86/xen/mmu.c 	xen_set_pte(ptep, pteval);
xen_set_pte        29 arch/x86/xen/mmu.h void xen_set_pte(pte_t *ptep, pte_t pteval);