diff options
Diffstat (limited to 'arch/x86/mm/fault.c')
-rw-r--r-- | arch/x86/mm/fault.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/x86/mm/fault.c b/arch/x86/mm/fault.c index 800de815519c..321b78060e93 100644 --- a/arch/x86/mm/fault.c +++ b/arch/x86/mm/fault.c | |||
@@ -439,7 +439,7 @@ static noinline int vmalloc_fault(unsigned long address) | |||
439 | if (pgd_none(*pgd_ref)) | 439 | if (pgd_none(*pgd_ref)) |
440 | return -1; | 440 | return -1; |
441 | 441 | ||
442 | if (CONFIG_PGTABLE_LEVELS > 4) { | 442 | if (pgtable_l5_enabled) { |
443 | if (pgd_none(*pgd)) { | 443 | if (pgd_none(*pgd)) { |
444 | set_pgd(pgd, *pgd_ref); | 444 | set_pgd(pgd, *pgd_ref); |
445 | arch_flush_lazy_mmu_mode(); | 445 | arch_flush_lazy_mmu_mode(); |
@@ -454,7 +454,7 @@ static noinline int vmalloc_fault(unsigned long address) | |||
454 | if (p4d_none(*p4d_ref)) | 454 | if (p4d_none(*p4d_ref)) |
455 | return -1; | 455 | return -1; |
456 | 456 | ||
457 | if (p4d_none(*p4d) && CONFIG_PGTABLE_LEVELS == 4) { | 457 | if (p4d_none(*p4d) && !pgtable_l5_enabled) { |
458 | set_p4d(p4d, *p4d_ref); | 458 | set_p4d(p4d, *p4d_ref); |
459 | arch_flush_lazy_mmu_mode(); | 459 | arch_flush_lazy_mmu_mode(); |
460 | } else { | 460 | } else { |