vmm_host_tsc_delta - Illumos

Symbol: vmm_host_tsc_delta

usr/src/uts/intel/io/vmm/sys/vmm_kernel.h

uint64_t vmm_host_tsc_delta(void);

usr/src/uts/intel/io/vmm/vmm.c

vcpu_off += vmm_host_tsc_delta();