Home
last modified time | relevance | path

Searched refs:xen_setup_kernel_pagetable (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.4/arch/x86/xen/
Dxen-ops.h36 void xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn);
Denlighten_pv.c1303 xen_setup_kernel_pagetable((pgd_t *)xen_start_info->pt_base, in xen_start_kernel()
Dmmu_pv.c1875 void __init xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) in xen_setup_kernel_pagetable() function
2234 void __init xen_setup_kernel_pagetable(pgd_t *pgd, unsigned long max_pfn) in xen_setup_kernel_pagetable() function