47 #define VMWARE_PORT(cmd, eax, ebx, ecx, edx)				\  argument
49 			"=a"(eax), "=c"(ecx), "=d"(edx), "=b"(ebx) :	\
59 	uint32_t eax, ebx, ecx, edx;  in __vmware_platform()  local
60 	VMWARE_PORT(GETVERSION, eax, ebx, ecx, edx);  in __vmware_platform()
61 	return eax != (uint32_t)-1 && ebx == VMWARE_HYPERVISOR_MAGIC;  in __vmware_platform()
136 	uint32_t eax, ebx, ecx, edx;  in vmware_platform_setup()  local
139 	VMWARE_PORT(GETHZ, eax, ebx, ecx, edx);  in vmware_platform_setup()
141 	if (ebx != UINT_MAX) {  in vmware_platform_setup()
142 		lpj = tsc_khz = eax | (((uint64_t)ebx) << 32);  in vmware_platform_setup()
202 	uint32_t eax, ebx, ecx, edx;  in vmware_legacy_x2apic_available()  local
203 	VMWARE_PORT(GETVCPU_INFO, eax, ebx, ecx, edx);  in vmware_legacy_x2apic_available()