D | vmware.c | 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() [all …]
|