src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.c

191

[NVMM_X64_MSR_TSC] = 0,

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1954

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1955

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1957

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2081

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2087

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2708

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2709

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2711

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2843

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2846

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

src/libs/nvmm/driver/x86/nvmm_x86.c

191

[NVMM_X64_MSR_TSC] = 0,

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1954

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1955

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1957

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2081

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2087

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2708

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2709

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2711

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2843

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2846

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