src/system/kernel/arch/arm/paging/32bit/ARMPagingMethod32Bit.cpp

403

(*ptEntry & ARM_PTE_TYPE_MASK) == 0,

src/system/kernel/arch/arm/paging/32bit/ARMPagingMethod32Bit.cpp

570

if ((*entry & ARM_PTE_TYPE_MASK) == 0) {

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

211

ASSERT_PRINT((pt[index] & ARM_PTE_TYPE_MASK) == 0,

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

257

if ((pt[index] & ARM_PTE_TYPE_MASK) == 0) {

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

266

ARM_PTE_TYPE_MASK);

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

310

if ((oldEntry & ARM_PTE_TYPE_MASK) == 0) {

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

397

if ((oldEntry & ARM_PTE_TYPE_MASK) == 0)

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

461

if ((entry & ARM_PTE_TYPE_MASK) != 0)

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

496

if ((entry & ARM_PTE_TYPE_MASK) != 0)

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

541

if ((entry & ARM_PTE_TYPE_MASK) == 0) {

src/system/kernel/arch/arm/paging/32bit/ARMVMTranslationMap32Bit.cpp

670

if ((oldEntry & ARM_PTE_TYPE_MASK) == 0) {