Searched defs:xen_setup_kernel_pagetable (Results 1 – 1 of 1) sorted by relevance
1876 void __init xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) in xen_setup_kernel_pagetable() function2236 void __init xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) in xen_setup_kernel_pagetable() function
