level1_ident_pgt 96 arch/x86/xen/mmu_pv.c static RESERVE_BRK_ARRAY(pte_t, level1_ident_pgt, LEVEL1_IDENT_ENTRIES); level1_ident_pgt 1781 arch/x86/xen/mmu_pv.c level1_ident_pgt = extend_brk(sizeof(pte_t) * LEVEL1_IDENT_ENTRIES, level1_ident_pgt 1797 arch/x86/xen/mmu_pv.c pte_page = &level1_ident_pgt[ident_pte]; level1_ident_pgt 1819 arch/x86/xen/mmu_pv.c set_page_prot(&level1_ident_pgt[pteidx], PAGE_KERNEL_RO);