Symbol: TTBR_MPATTR
sys/arch/arm/arm32/pmap.c
4934
(ci->ci_mpidr ? TTBR_MPATTR : TTBR_UPATTR));
sys/arch/arm/include/arm32/pmap.h
303
(ci->ci_mpidr ? TTBR_MPATTR : TTBR_UPATTR));