Symbol: ID_AA64MMFR0_ASIDBits_16
sys/arm64/arm64/identcpu.c
1247
MRS_FIELD_VALUE(ID_AA64MMFR0_ASIDBits_16, "16bit ASID"),
sys/arm64/vmm/vmm.c
116
ID_AA64MMFR0_ASIDBits_16 |