diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-05-21 03:45:08 +0200 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-05-21 03:45:08 +0200 |
| commit | c85a99c2afdd4c9dfa9d8f0f212e4625b6adade7 (patch) | |
| tree | 3bb631cf7c49b74fbf6d02104059e0540f26ba4b /dev/kernel/HALKit/ARM64/Paging.h | |
| parent | bec0e457ad346783be7f84be71bb0eddc881847c (diff) | |
feat(kernel): source code improvements.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'dev/kernel/HALKit/ARM64/Paging.h')
| -rw-r--r-- | dev/kernel/HALKit/ARM64/Paging.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev/kernel/HALKit/ARM64/Paging.h b/dev/kernel/HALKit/ARM64/Paging.h index 2eb02bc1..88eedcd8 100644 --- a/dev/kernel/HALKit/ARM64/Paging.h +++ b/dev/kernel/HALKit/ARM64/Paging.h @@ -12,6 +12,8 @@ ------------------------------------------------------- */ +#ifdef __NE_ARM64__ + #include <NewKit/Defines.h> #ifndef kPageMax @@ -101,3 +103,5 @@ typedef HAL::PDE_4KB PDE; } // namespace Kernel EXTERN_C void hal_flush_tlb(); + +#endif // __NE_ARM64__
\ No newline at end of file |