Home
last modified time | relevance | path

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

/linux/arch/x86/xen/
H A Dmmu_pv.c109 static pmd_t level2_ident_pgt[PTRS_PER_PMD] __page_aligned_bss; variable
1787 level3_ident_pgt[0].pud = __pa_symbol(level2_ident_pgt) + _KERNPG_TABLE_NOENC; in xen_setup_kernel_pagetable()
1816 copy_page(level2_ident_pgt, l2); in xen_setup_kernel_pagetable()
1826 if (pmd_none(level2_ident_pgt[i])) in xen_setup_kernel_pagetable()
1828 level2_ident_pgt[i] = pmd_set_flags(level2_ident_pgt[i], _PAGE_NX); in xen_setup_kernel_pagetable()
1841 set_page_prot(level2_ident_pgt, PAGE_KERNEL_RO); in xen_setup_kernel_pagetable()