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()
99 		unsigned int eax;  in vmware_platform()  local
102 		cpuid(CPUID_VMWARE_INFO_LEAF, &eax, &hyper_vendor_id[0],  in vmware_platform()
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()
136 	return (eax & (1 << VMWARE_PORT_CMD_VCPU_RESERVED)) == 0 &&  in vmware_legacy_x2apic_available()
137 	       (eax & (1 << VMWARE_PORT_CMD_LEGACY_X2APIC)) != 0;  in vmware_legacy_x2apic_available()