xen_setup_kernel_pagetable 1305 arch/x86/xen/enlighten_pv.c 	xen_setup_kernel_pagetable((pgd_t *)xen_start_info->pt_base,
xen_setup_kernel_pagetable   36 arch/x86/xen/xen-ops.h void xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);