Symbol: ID_AA64MMFR2_CCIDX_64
sys/arm64/arm64/identcpu.c
1478
MRS_FIELD_VALUE(ID_AA64MMFR2_CCIDX_64, "64bit CCIDX"),
sys/arm64/arm64/identcpu.c
3088
if ((desc->id_aa64mmfr2 & ID_AA64MMFR2_CCIDX_64))