40 #define VMWARE_PORT(cmd, eax, ebx, ecx, edx)				\  argument
42 			"=a"(eax), "=c"(ecx), "=d"(edx), "=b"(ebx) :	\
50 	uint32_t eax, ebx, ecx, edx;  in __vmware_platform()  local
51 	VMWARE_PORT(GETVERSION, eax, ebx, ecx, edx);  in __vmware_platform()
52 	return eax != (uint32_t)-1 && ebx == VMWARE_HYPERVISOR_MAGIC;  in __vmware_platform()
58 	uint32_t eax, ebx, ecx, edx;  in vmware_get_tsc_khz()  local
60 	VMWARE_PORT(GETHZ, eax, ebx, ecx, edx);  in vmware_get_tsc_khz()
62 	tsc_hz = eax | (((uint64_t)ebx) << 32);  in vmware_get_tsc_khz()
80 	uint32_t eax, ebx, ecx, edx;  in vmware_platform_setup()  local
82 	VMWARE_PORT(GETHZ, eax, ebx, ecx, edx);  in vmware_platform_setup()
84 	if (ebx != UINT_MAX)  in vmware_platform_setup()
134 	uint32_t eax, ebx, ecx, edx;  in vmware_legacy_x2apic_available()  local
135 	VMWARE_PORT(GETVCPU_INFO, eax, ebx, ecx, edx);  in vmware_legacy_x2apic_available()