xen_set_pgd      1039 arch/x86/xen/enlighten.c 	pv_mmu_ops.set_pgd = xen_set_pgd;
xen_set_pgd        47 arch/x86/xen/mmu.h void xen_set_pgd(pgd_t *pgdp, pgd_t pgd);