1 /* 2 * Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com> 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_ARM64_ARCH_VM_H_ 6 #define _KERNEL_ARCH_ARM64_ARCH_VM_H_ 7 8 9 #define PAGE_SHIFT 12 10 11 12 bool flush_va_if_accessed(uint64_t pte, addr_t va, int asid); 13 14 #endif /* _KERNEL_ARCH_ARM64_ARCH_VM_H_ */ 15