xen_set_pgd_hyper 1334 arch/x86/xen/enlighten.c 	.set_pgd = xen_set_pgd_hyper,
xen_set_pgd_hyper   48 arch/x86/xen/mmu.h void xen_set_pgd_hyper(pgd_t *pgdp, pgd_t pgd);