rdtsc
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;
uint64_t rdtsc(void);
uint64_t rdtsc(void);
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;
cpudata->gtsc_offset = exit->u.wrmsr.val - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] - rdtsc();
state->msrs[NVMM_X64_MSR_TSC] = rdtsc() + cpudata->gtsc_offset;