51 #define VMWARE_PORT(cmd, eax, ebx, ecx, edx)				\  argument
53 		"=a"(eax), "=c"(ecx), "=d"(edx), "=b"(ebx) :		\
59 #define VMWARE_VMCALL(cmd, eax, ebx, ecx, edx)				\  argument
61 		"=a"(eax), "=c"(ecx), "=d"(edx), "=b"(ebx) :		\
67 #define VMWARE_VMMCALL(cmd, eax, ebx, ecx, edx)                         \  argument
69 		"=a"(eax), "=c"(ecx), "=d"(edx), "=b"(ebx) :		\
75 #define VMWARE_CMD(cmd, eax, ebx, ecx, edx) do {		\  argument
78 		VMWARE_VMCALL(cmd, eax, ebx, ecx, edx);		\
81 		VMWARE_VMMCALL(cmd, eax, ebx, ecx, edx);	\
84 		VMWARE_PORT(cmd, eax, ebx, ecx, edx);		\
94 	uint32_t eax, ebx, ecx, edx;  in __vmware_platform()  local
95 	VMWARE_CMD(GETVERSION, eax, ebx, ecx, edx);  in __vmware_platform()
96 	return eax != (uint32_t)-1 && ebx == VMWARE_HYPERVISOR_MAGIC;  in __vmware_platform()
175 	uint32_t eax, ebx, ecx, edx;  in vmware_platform_setup()  local
178 	VMWARE_CMD(GETHZ, eax, ebx, ecx, edx);  in vmware_platform_setup()
181 		lpj = tsc_khz = eax | (((uint64_t)ebx) << 32);  in vmware_platform_setup()
218 	int eax, ebx, ecx, edx;  in vmware_select_hypercall()  local
220 	cpuid(CPUID_VMWARE_FEATURES_LEAF, &eax, &ebx, &ecx, &edx);  in vmware_select_hypercall()
235 		unsigned int eax;  in vmware_platform()  local
238 		cpuid(CPUID_VMWARE_INFO_LEAF, &eax, &hyper_vendor_id[0],  in vmware_platform()
241 			if (eax >= CPUID_VMWARE_FEATURES_LEAF)  in vmware_platform()
260 	uint32_t eax, ebx, ecx, edx;  in vmware_legacy_x2apic_available()  local
261 	VMWARE_CMD(GETVCPU_INFO, eax, ebx, ecx, edx);  in vmware_legacy_x2apic_available()
262 	return (eax & (1 << VMWARE_CMD_VCPU_RESERVED)) == 0 &&  in vmware_legacy_x2apic_available()
263 	       (eax & (1 << VMWARE_CMD_LEGACY_X2APIC)) != 0;  in vmware_legacy_x2apic_available()