1 /*
2  * Copyright (c) 2024 BayLibre SAS
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef Z_ARM64_PAGING_H
8 #define Z_ARM64_PAGING_H
9 
10 bool z_arm64_do_demand_paging(struct arch_esf *esf, uint64_t esr, uint64_t far);
11 
12 #endif /* Z_ARM64_PAGING_H */
13