ID_AA64MMFR1_EL1_HAFDBS_NONE
case ID_AA64MMFR1_EL1_HAFDBS_NONE:
case ID_AA64MMFR1_EL1_HAFDBS_NONE:
if (aarch64_hafdbs_enabled == ID_AA64MMFR1_EL1_HAFDBS_NONE ||
if (aarch64_hafdbs_enabled != ID_AA64MMFR1_EL1_HAFDBS_NONE)
if (aarch64_hafdbs_enabled != ID_AA64MMFR1_EL1_HAFDBS_NONE)
if (aarch64_hafdbs_enabled != ID_AA64MMFR1_EL1_HAFDBS_NONE)
aarch64_hafdbs_enabled == ID_AA64MMFR1_EL1_HAFDBS_NONE &&
if (aarch64_hafdbs_enabled != ID_AA64MMFR1_EL1_HAFDBS_NONE) {
return aarch64_hafdbs_enabled != ID_AA64MMFR1_EL1_HAFDBS_NONE;