Searched refs:vce_edx (Results 1 – 4 of 4) sorted by relevance
43 .vce_edx = TEST_CPUID_0_EDX,60 .vce_edx = TEST_CPUID_1_EDX,80 .vce_edx = 0,100 .vce_edx = 0,120 .vce_edx = TEST_CPUID_0_EDX,129 .vce_edx = 0,138 .vce_edx = 0,
38 .vce_edx = 0x4f206465,82 .vce_edx = 5,
446 uint32_t vce_edx; member
397 regs[3] = ent->vce_edx; in vcpu_emulate_cpuid()