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);