xen_pte_val      1313 arch/x86/xen/enlighten.c 	.pte_val = xen_pte_val,
xen_pte_val        21 arch/x86/xen/mmu.h pteval_t xen_pte_val(pte_t);