|
@@ -180,7 +180,7 @@ static void sync_global_pgds_l4(unsigned long start, unsigned long end)
|
|
|
*/
|
|
|
void sync_global_pgds(unsigned long start, unsigned long end)
|
|
|
{
|
|
|
- if (pgtable_l5_enabled)
|
|
|
+ if (pgtable_l5_enabled())
|
|
|
sync_global_pgds_l5(start, end);
|
|
|
else
|
|
|
sync_global_pgds_l4(start, end);
|
|
@@ -643,7 +643,7 @@ phys_p4d_init(p4d_t *p4d_page, unsigned long paddr, unsigned long paddr_end,
|
|
|
unsigned long vaddr = (unsigned long)__va(paddr);
|
|
|
int i = p4d_index(vaddr);
|
|
|
|
|
|
- if (!pgtable_l5_enabled)
|
|
|
+ if (!pgtable_l5_enabled())
|
|
|
return phys_pud_init((pud_t *) p4d_page, paddr, paddr_end, page_size_mask);
|
|
|
|
|
|
for (; i < PTRS_PER_P4D; i++, paddr = paddr_next) {
|
|
@@ -723,7 +723,7 @@ kernel_physical_mapping_init(unsigned long paddr_start,
|
|
|
page_size_mask);
|
|
|
|
|
|
spin_lock(&init_mm.page_table_lock);
|
|
|
- if (pgtable_l5_enabled)
|
|
|
+ if (pgtable_l5_enabled())
|
|
|
pgd_populate(&init_mm, pgd, p4d);
|
|
|
else
|
|
|
p4d_populate(&init_mm, p4d_offset(pgd, vaddr), (pud_t *) p4d);
|
|
@@ -1100,7 +1100,7 @@ remove_p4d_table(p4d_t *p4d_start, unsigned long addr, unsigned long end,
|
|
|
* 5-level case we should free them. This code will have to change
|
|
|
* to adapt for boot-time switching between 4 and 5 level page tables.
|
|
|
*/
|
|
|
- if (pgtable_l5_enabled)
|
|
|
+ if (pgtable_l5_enabled())
|
|
|
free_pud_table(pud_base, p4d);
|
|
|
}
|
|
|
|