sys/dev/virtual/nvmm/x86/nvmm_x86.c

192

[NVMM_X64_MSR_TSC] = 0,

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2022

if (state->msrs[NVMM_X64_MSR_TSC] != cpudata->gtsc_match &&

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2023

state->msrs[NVMM_X64_MSR_TSC] != 0) {

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2025

state->msrs[NVMM_X64_MSR_TSC] - rdtsc();

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2149

state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;

sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c

2155

cpudata->gtsc_match = state->msrs[NVMM_X64_MSR_TSC];

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2720

if (state->msrs[NVMM_X64_MSR_TSC] != cpudata->gtsc_match &&

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2721

state->msrs[NVMM_X64_MSR_TSC] != 0) {

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2723

state->msrs[NVMM_X64_MSR_TSC] - rdtsc();

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2855

state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;

sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c

2858

cpudata->gtsc_match = state->msrs[NVMM_X64_MSR_TSC];