diff options
Diffstat (limited to 'arch/x86_64/mm/fault.c')
-rw-r--r-- | arch/x86_64/mm/fault.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/arch/x86_64/mm/fault.c b/arch/x86_64/mm/fault.c index bfb62a13d7ee..635e58d443d7 100644 --- a/arch/x86_64/mm/fault.c +++ b/arch/x86_64/mm/fault.c | |||
@@ -476,6 +476,12 @@ bad_area: | |||
476 | bad_area_nosemaphore: | 476 | bad_area_nosemaphore: |
477 | /* User mode accesses just cause a SIGSEGV */ | 477 | /* User mode accesses just cause a SIGSEGV */ |
478 | if (error_code & PF_USER) { | 478 | if (error_code & PF_USER) { |
479 | |||
480 | /* | ||
481 | * It's possible to have interrupts off here. | ||
482 | */ | ||
483 | local_irq_enable(); | ||
484 | |||
479 | if (is_prefetch(regs, address, error_code)) | 485 | if (is_prefetch(regs, address, error_code)) |
480 | return; | 486 | return; |
481 | 487 | ||