Searched refs:tsc_offset_active (Results 1 – 2 of 2) sorted by relevance
134 uint64_t tsc_offset_active[VM_MAXCPU]; member
1114 if (vmx->tsc_offset_active[vcpu] != offset) { in vmx_apply_tsc_adjust()1116 vmx->tsc_offset_active[vcpu] = offset; in vmx_apply_tsc_adjust()