Searched refs:VCAP_IS2_HK_DEI (Results 1 – 4 of 4) sorted by relevance
190 VCAP_IS2_HK_DEI, enumerator
557 [VCAP_IS2_HK_DEI] = { 42, 1 },
386 vcap_key_bit_set(vcap, &data, VCAP_IS2_HK_DEI, tag->dei); in is2_entry_set()
729 [VCAP_IS2_HK_DEI] = { 37, 1},