Searched refs:xen_setup_kernel_pagetable (Results 1 – 2 of 2) sorted by relevance
1480 xen_setup_kernel_pagetable((pgd_t *)xen_start_info->pt_base, in xen_start_kernel()
1760 void __init xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) in xen_setup_kernel_pagetable() function