| commit | 79428bc81dbbccff5be032298e6c4172c36adab8 | [log] [tgz] |
|---|---|---|
| author | Nicolas Pitre <npitre@baylibre.com> | Wed Jul 24 16:27:39 2024 -0400 |
| committer | Anas Nashif <anas.nashif@intel.com> | Wed Sep 11 20:18:51 2024 -0400 |
| tree | c53dd5ba7bb4fd121f82f5986b8f054d9c86329d | |
| parent | 3e0feab2455f8e9087858efd7379c16f2102c7e5 [diff] |
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: Nicolas Pitre <npitre@baylibre.com>