xen_setup_kernel_pagetable - Linux

Symbol: xen_setup_kernel_pagetable

arch/x86/xen/enlighten_pv.c

xen_setup_kernel_pagetable((pgd_t *)xen_start_info->pt_base,

arch/x86/xen/xen-ops.h

void xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);