Searched refs:hadbs (Results 1 – 1 of 1) sorted by relevance
196 uint64_t hadbs, tcr; in guest_set_ha() local199 hadbs = FIELD_GET(ARM64_FEATURE_MASK(ID_AA64MMFR1_HADBS), mmfr1); in guest_set_ha()200 if (hadbs == 0) in guest_set_ha()
