Symbol: vmx_restore_tsc
sys/amd64/vmm/intel/vmx.c
321
static int vmx_restore_tsc(void *vcpui, uint64_t now);
sys/amd64/vmm/intel/vmx.c
4305
.restore_tsc = vmx_restore_tsc,