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

417

FlushVAIfAccessed(oldPte, va);

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

629

FlushVAIfAccessed(oldPte, effectiveVa);

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

656

FlushVAIfAccessed(oldPte, effectiveVa);

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

697

FlushVAIfAccessed(oldPte, effectiveVa);

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

838

FlushVAIfAccessed(oldPte, effectiveVa);

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

873

FlushVAIfAccessed(oldPte, va);

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

886

FlushVAIfAccessed(oldPte, va);

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

933

if (FlushVAIfAccessed(oldPte, address))

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

123

bool FlushVAIfAccessed(uint64_t pte, addr_t va);