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