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 { |
