Searched refs:vcpu_off (Results 1 – 1 of 1) sorted by relevance
3282 uint64_t vcpu_off = vm->tsc_offset + vm->vcpu[vcpuid].tsc_offset; in vcpu_tsc_offset() local3286 vcpu_off += vmm_host_tsc_delta(); in vcpu_tsc_offset()3289 return (vcpu_off); in vcpu_tsc_offset()