79428bc81d
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>
13 lines
248 B
C
13 lines
248 B
C
/*
|
|
* Copyright (c) 2024 BayLibre SAS
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#ifndef Z_ARM64_PAGING_H
|
|
#define Z_ARM64_PAGING_H
|
|
|
|
bool z_arm64_do_demand_paging(struct arch_esf *esf, uint64_t esr, uint64_t far);
|
|
|
|
#endif /* Z_ARM64_PAGING_H */
|