Searched refs:kernpg_flag (Results 1 – 3 of 3) sorted by relevance
55 set_pud(pud, __pud(__pa(pmd) | info->kernpg_flag)); in ident_pud_init()83 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag)); in ident_p4d_init()98 if (!info->kernpg_flag) in kernel_ident_mapping_init()99 info->kernpg_flag = _KERNPG_TABLE; in kernel_ident_mapping_init()124 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag)); in kernel_ident_mapping_init()131 set_pgd(pgd, __pgd(__pa(pud) | info->kernpg_flag)); in kernel_ident_mapping_init()
11 unsigned long kernpg_flag; /* kernel pagetable flag override */ member
121 .kernpg_flag = _KERNPG_TABLE_NOENC, in init_pgtable()