Skip to content
Commit 79428bc8 authored by Nicolas Pitre's avatar Nicolas Pitre Committed by Anas Nashif
Browse files

arm64: demand_paging: allow page fault processing with IRQs enabled 



Convention is to call k_mem_page_fault() with IRQs enabled if they were
enabled when the fault occurred.

Signed-off-by: default avatarNicolas Pitre <npitre@baylibre.com>
parent 3e0feab2
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment

CRA Git | Maintained and supported by SUSTech CRA and CCSE