Searched refs:level3_kernel_pgt (Results 1 – 2 of 2) sorted by relevance
21 extern pud_t level3_kernel_pgt[512];
1787 convert_pfn_mfn(level3_kernel_pgt); in xen_setup_kernel_pagetable()1829 set_page_prot(level3_kernel_pgt, PAGE_KERNEL_RO); in xen_setup_kernel_pagetable()