Symbol: vmx_apply_tsc_adjust
usr/src/uts/intel/io/vmm/intel/vmx.c
1029
vmx_apply_tsc_adjust(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
307
static void vmx_apply_tsc_adjust(struct vmx *, int);