Symbol: TTBCR_S_N
sys/arch/arm/arm32/arm32_kvminit.c
1073
KASSERT(armreg_ttbcr_read() == __SHIFTIN(1, TTBCR_S_N));
sys/arch/arm/arm32/arm32_machdep.c
786
KASSERT(armreg_ttbcr_read() == __SHIFTIN(1, TTBCR_S_N));