Searched refs:vce_index (Results 1 – 3 of 3) sorted by relevance
52 .vce_index = 0,58 .vce_index = 1,66 .vce_index = 0,72 .vce_index = 2,94 .vce_index = 0x0,100 .vce_index = 0x1,
441 uint32_t vce_index; member
148 if (ent->vce_index == idx || !ent_must_match_idx) { in cpuid_find_entry()