[PATCH v3] target/i386/hvf: add vmware-cpuid-freq cpu feature

From: Vladislav Yaroshchuk For `-accel hvf` cpu_x86_cpuid() is wrapped with hvf_cpu_x86_cpuid() to add paravirtualization cpuid leaf 0x4010 https://lkml.org/lkml/2008/10/1/246 Leaf 0x4010, Timing Information: EAX: (Virtual) TSC frequency in kHz. EBX: (Virtual) Bus (local apic timer)

[PATCH v2] target/i386/hvf: add vmware-cpuid-freq cpu feature

From: Vladislav Yaroshchuk For `-accel hvf` cpu_x86_cpuid() is wrapped with hvf_cpu_x86_cpuid() to add paravirtualization cpuid leaf 0x4010 https://lkml.org/lkml/2008/10/1/246 Leaf 0x4010, Timing Information: EAX: (Virtual) TSC frequency in kHz. EBX: (Virtual) Bus (local apic timer)

[PATCH] target/i386/hvf: add rdmsr 35H MSR_CORE_THREAD_COUNT

From: Vladislav Yaroshchuk Some guests (ex. Darwin-XNU) can attemp to read this MSR to retrieve and validate CPU topology comparing it to ACPI MADT content MSR description from Intel Manual: 35H: MSR_CORE_THREAD_COUNT: Configured State of Enabled Processor Core Count and Logical Processor

[PATCH] target/i386/hvf: add vmware-cpuid-freq cpu feature

From: Vladislav Yaroshchuk For `-accel hvf` cpu_x86_cpuid() is wrapped with hvf_cpu_x86_cpuid() to add paravirtualization cpuid leaf 0x4010 https://lkml.org/lkml/2008/10/1/246 Leaf 0x4010, Timing Information: EAX: (Virtual) TSC frequency in kHz. EBX: (Virtual) Bus (local apic timer)