2294 	u32 eax, ebx, ecx, edx;  in vendor_intel()  local
2297 	ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx);  in vendor_intel()
2298 	return ebx == X86EMUL_CPUID_VENDOR_GenuineIntel_ebx  in vendor_intel()
2306 	u32 eax, ebx, ecx, edx;  in em_syscall_is_enabled()  local
2317 	ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx);  in em_syscall_is_enabled()
2326 	if (ebx == X86EMUL_CPUID_VENDOR_GenuineIntel_ebx &&  in em_syscall_is_enabled()
2332 	if (ebx == X86EMUL_CPUID_VENDOR_AuthenticAMD_ebx &&  in em_syscall_is_enabled()
2338 	if (ebx == X86EMUL_CPUID_VENDOR_AMDisbetterI_ebx &&  in em_syscall_is_enabled()
2703 	tss->ebx = reg_read(ctxt, VCPU_REGS_RBX);  in save_state_to_tss32()
2732 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;  in load_state_from_tss32()
3178 	u32 ebx, ecx, edx, eax = 1;  in em_movbe()  local
3184 	ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx);  in em_movbe()
3487 	u32 eax, ebx, ecx, edx;  in em_cpuid()  local
3491 	ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx);  in em_cpuid()
3493 	*reg_write(ctxt, VCPU_REGS_RBX) = ebx;  in em_cpuid()