mirror of
https://review.haiku-os.org/haiku
synced 2025-01-19 04:58:51 +01:00
1fa60a5cda
Change-Id: Id19236345cf05284c8c5f02360a4a2b3f22fd16d Reviewed-on: https://review.haiku-os.org/c/haiku/+/8365 Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org> Reviewed-by: waddlesplash <waddlesplash@gmail.com>
15 lines
324 B
C
15 lines
324 B
C
/*
|
|
* Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com>
|
|
* Distributed under the terms of the MIT License.
|
|
*/
|
|
#ifndef _KERNEL_ARCH_ARM64_ARCH_VM_H_
|
|
#define _KERNEL_ARCH_ARM64_ARCH_VM_H_
|
|
|
|
|
|
#define PAGE_SHIFT 12
|
|
|
|
|
|
bool flush_va_if_accessed(uint64_t pte, addr_t va, int asid);
|
|
|
|
#endif /* _KERNEL_ARCH_ARM64_ARCH_VM_H_ */
|