Searched refs:hadbs (Results 1 – 1 of 1) sorted by relevance
195 uint64_t hadbs, tcr; in guest_set_ha() local198 hadbs = FIELD_GET(ARM64_FEATURE_MASK(ID_AA64MMFR1_EL1_HAFDBS), mmfr1); in guest_set_ha()199 if (hadbs == 0) in guest_set_ha()