Searched refs:vce_ebx (Results 1 – 3 of 3) sorted by relevance
37 .vce_ebx = 0x74737552,81 .vce_ebx = 5,
444 uint32_t vce_ebx; member
213 *rbx = ent->vce_ebx; in vcpu_emulate_cpuid()