Searched refs:tsc_offset (Results 1 – 1 of 1) sorted by relevance
314 uint64_t tsc_offset; member1577 vmcb->ctrl.tsc_offset = cpudata->gtsc_offset; in svm_vcpu_run()