kernpg_flag        90 arch/x86/boot/compressed/kaslr_64.c 	mapping_info.kernpg_flag = _KERNPG_TABLE;
kernpg_flag        11 arch/x86/include/asm/init.h 	unsigned long kernpg_flag;	 /* kernel pagetable flag override */
kernpg_flag       200 arch/x86/kernel/machine_kexec_64.c 		.kernpg_flag	= _KERNPG_TABLE_NOENC,
kernpg_flag       212 arch/x86/kernel/machine_kexec_64.c 		info.kernpg_flag |= _PAGE_ENC;
kernpg_flag        55 arch/x86/mm/ident_map.c 		set_pud(pud, __pud(__pa(pmd) | info->kernpg_flag));
kernpg_flag        83 arch/x86/mm/ident_map.c 		set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag));
kernpg_flag        98 arch/x86/mm/ident_map.c 	if (!info->kernpg_flag)
kernpg_flag        99 arch/x86/mm/ident_map.c 		info->kernpg_flag = _KERNPG_TABLE;
kernpg_flag       102 arch/x86/mm/ident_map.c 	info->kernpg_flag &= __default_kernel_pte_mask;
kernpg_flag       127 arch/x86/mm/ident_map.c 			set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag));
kernpg_flag       134 arch/x86/mm/ident_map.c 			set_pgd(pgd, __pgd(__pa(pud) | info->kernpg_flag));