Searched refs:vce_ecx (Results 1 – 3 of 3) sorted by relevance
39 .vce_ecx = 0x65646978,83 .vce_ecx = 5,
445 uint32_t vce_ecx; member
214 *rcx = ent->vce_ecx; in vcpu_emulate_cpuid()