flush_va_if_accessed - Haiku

Symbol: flush_va_if_accessed

headers/private/kernel/arch/arm64/arch_vm.h

bool flush_va_if_accessed(uint64_t pte, addr_t va, int asid);

src/system/kernel/arch/arm64/VMSAv8TranslationMap.cpp

flush_va_if_accessed(oldPte, nextVa, fASID);

src/system/kernel/arch/arm64/VMSAv8TranslationMap.cpp

return flush_va_if_accessed(pte, va, fASID);

src/system/kernel/arch/arm64/arch_int.cpp

flush_va_if_accessed(oldPte, va, asid);