sys/arch/arm/arm/ast.c

77

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/arm32_kvminit.c

468

|| (armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0;

sys/arch/arm/arm32/arm32_machdep.c

177

&& (armreg_pfr1_read() & ARM_PFR1_SEC_MASK) != 0) {

sys/arch/arm/arm32/pmap.c

4928

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/pmap.c

4948

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/pmap.c

5158

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/pmap.c

5200

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/pmap.c

5260

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/arm/arm32/pmap.c

6158

KASSERT((armreg_pfr1_read() & ARM_PFR1_SEC_MASK) != 0);

sys/arch/arm/include/arm32/pmap.h

294

(armreg_pfr1_read() & ARM_PFR1_SEC_MASK) == 0 ||

sys/arch/evbarm/bcm53xx/bcm53xx_machdep.c

351

KASSERT((armreg_pfr1_read() & ARM_PFR1_SEC_MASK) != 0);