Symbol: ID_AA64MMFR1_HAFDBS_AF
sys/arm64/arm64/identcpu.c
1382
MRS_FIELD_VALUE(ID_AA64MMFR1_HAFDBS_AF, "HAF"),
sys/arm64/vmm/vmm.c
121
ID_AA64MMFR1_HAFDBS_AF,