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