Searched refs:vce_edx (Results 1 – 3 of 3) sorted by relevance
38 .vce_edx = 0x4f206465,82 .vce_edx = 5,
446 uint32_t vce_edx; member
215 *rdx = ent->vce_edx; in vcpu_emulate_cpuid()