On 8/18/20 6:48 PM, Konstantin Belousov wrote:
On Tue, Aug 18, 2020 at 07:23:47AM +, Peter Grehan wrote:
+void
+vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid)
+{
+ uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX];
+ uint32_t cpuid = PCPU_GET(cpuid);
+
+
On Tue, Aug 18, 2020 at 07:23:47AM +, Peter Grehan wrote:
> +void
> +vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, int vcpuid)
> +{
> + uint64_t guest_tsc_aux = vmx->guest_msrs[vcpuid][IDX_MSR_TSC_AUX];
> + uint32_t cpuid = PCPU_GET(cpuid);
> +
> + if (vmx_have_msr_tsc_aux(vmx) && (gu
Author: grehan
Date: Tue Aug 18 07:23:47 2020
New Revision: 364340
URL: https://svnweb.freebsd.org/changeset/base/364340
Log:
Support guest rdtscp and rdpid instructions on Intel VT-x
Enable any of rdtscp and/or rdpid for bhyve guests on Intel-based hosts
that support the "enable RDTSCP"
