Searched refs:xen_setup_kernel_pagetable (Results 1 – 3 of 3) sorted by relevance
30 pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);
1195 pgd = xen_setup_kernel_pagetable(pgd, xen_start_info->nr_pages); in xen_start_kernel()
1775 __init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd, in xen_setup_kernel_pagetable() function1883 __init pgd_t *xen_setup_kernel_pagetable(pgd_t *pgd, in xen_setup_kernel_pagetable() function