Symbol: ID_AA64MMFR1_VMIDBits_16
sys/arm64/arm64/identcpu.c
1376
MRS_FIELD_VALUE(ID_AA64MMFR1_VMIDBits_16, "16bit VMID"),
sys/arm64/arm64/pmap.c
1817
ID_AA64MMFR1_VMIDBits_16)