Home
last modified time | relevance | path

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

/arch/x86/mm/
A Dident_map.c139 set_pud(pud, __pud(__pa(pmd) | info->kernpg_flag)); in ident_pud_init()
172 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag | _PAGE_NOPTISHADOW)); in ident_p4d_init()
187 if (!info->kernpg_flag) in kernel_ident_mapping_init()
188 info->kernpg_flag = _KERNPG_TABLE; in kernel_ident_mapping_init()
191 info->kernpg_flag &= __default_kernel_pte_mask; in kernel_ident_mapping_init()
213 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag | _PAGE_NOPTISHADOW)); in kernel_ident_mapping_init()
220 set_pgd(pgd, __pgd(__pa(pud) | info->kernpg_flag | _PAGE_NOPTISHADOW)); in kernel_ident_mapping_init()
/arch/x86/include/asm/
A Dinit.h18 unsigned long kernpg_flag; /* kernel pagetable flag override */ member
/arch/x86/boot/compressed/
A Dident_map_64.c122 mapping_info.kernpg_flag = _KERNPG_TABLE; in initialize_identity_maps()
224 pmd = __pmd((unsigned long)pte | info->kernpg_flag); in split_large_pmd()
/arch/x86/kernel/acpi/
A Dmadt_wakeup.c79 .kernpg_flag = _KERNPG_TABLE_NOENC, in acpi_mp_setup_reset()
/arch/x86/kernel/
A Dmachine_kexec_64.c244 .kernpg_flag = _KERNPG_TABLE_NOENC, in init_pgtable()
256 info.kernpg_flag |= _PAGE_ENC; in init_pgtable()

Completed in 13 milliseconds