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