xen_setup_kernel_pagetable 1515 arch/x86/xen/enlighten.c static __init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) xen_setup_kernel_pagetable 1578 arch/x86/xen/enlighten.c static __init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn)