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);