arm64: Fix TLB flushing in interrupts to handle kernel vs user space

Change-Id: Id19236345cf05284c8c5f02360a4a2b3f22fd16d Reviewed-on: https://review.haiku-os.org/c/haiku/+/8365 Tested-by: Commit checker robot <[email protected]> Reviewed-by: waddlesplash <[email protected]>
2024-09-30 15:48:51 +00:00
parent 556aca31e9
commit 1fa60a5cda
3 changed files with 15 additions and 9 deletions
@@ -9,4 +9,6 @@
 #define PAGE_SHIFT		12


+bool flush_va_if_accessed(uint64_t pte, addr_t va, int asid);
+
 #endif /* _KERNEL_ARCH_ARM64_ARCH_VM_H_ */