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

573

ASSERT(ValidateVa(va));

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

620

ASSERT(ValidateVa(start));

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

647

ASSERT(ValidateVa(address));

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

689

ASSERT(ValidateVa(address));

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

750

ASSERT(ValidateVa(va));

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

798

ASSERT(ValidateVa(start));

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

852

ASSERT(ValidateVa(va));

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

904

ASSERT(ValidateVa(address));

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

115

bool ValidateVa(addr_t va);