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()
175 	uint32_t eax, ebx, ecx, edx;  in vmware_platform_setup()  local
178 	VMWARE_CMD(GETHZ, eax, ebx, ecx, edx);  in vmware_platform_setup()
199 		lapic_timer_period = ecx / HZ;  in vmware_platform_setup()
201 			ecx);  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()
221 	return (ecx & (CPUID_VMWARE_FEATURES_ECX_VMMCALL |  in vmware_select_hypercall()
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()