331 uint64_t scale_tsc(uint64_t tsc, uint64_t multiplier, uint32_t frac_size);
4784 vmm_scale_tsc(uint64_t tsc, uint64_t mult)  in vmm_scale_tsc()  argument
4790 		return (scale_tsc(tsc, mult, frac_size));  in vmm_scale_tsc()
4792 		return (tsc);  in vmm_scale_tsc()
4855 vmm_time_snapshot(uint64_t *tsc, hrtime_t *hrtime, timespec_t *hrestime)  in vmm_time_snapshot()  argument
4865 	*tsc = (uint64_t)hrt;  in vmm_time_snapshot()
4900 	uint64_t tsc;  in vmm_data_read_vmm_time()  local
4903 	vmm_time_snapshot(&tsc, &hrtime, &hrestime);  in vmm_data_read_vmm_time()
4915 	out->vt_guest_tsc = calc_guest_tsc(tsc, vm->freq_multiplier,  in vmm_data_read_vmm_time()
5007 	uint64_t tsc;  in vmm_data_write_vmm_time()  local
5010 	vmm_time_snapshot(&tsc, &hrtime, &hrestime);  in vmm_data_write_vmm_time()
5030 	vm->tsc_offset = calc_tsc_offset(tsc, base_guest_tsc,  in vmm_data_write_vmm_time()