xen_set_pmd      1036 arch/x86/xen/enlighten.c 	pv_mmu_ops.set_pmd = xen_set_pmd;
xen_set_pmd        39 arch/x86/xen/mmu.h void xen_set_pmd(pmd_t *pmdp, pmd_t pmdval);