324     uint64_t mult);
325 static uint64_t calc_guest_tsc(uint64_t host_tsc, uint64_t mult,
4784 vmm_scale_tsc(uint64_t tsc, uint64_t mult)  in vmm_scale_tsc()  argument
4788 	if (mult != VM_TSCM_NOSCALE) {  in vmm_scale_tsc()
4790 		return (scale_tsc(tsc, mult, frac_size));  in vmm_scale_tsc()
4827 calc_tsc_offset(uint64_t base_host_tsc, uint64_t base_guest_tsc, uint64_t mult)  in calc_tsc_offset()  argument
4829 	const uint64_t htsc_scaled = vmm_scale_tsc(base_host_tsc, mult);  in calc_tsc_offset()
4843 calc_guest_tsc(uint64_t host_tsc, uint64_t mult, uint64_t offset)  in calc_guest_tsc()  argument
4845 	return (vmm_scale_tsc(host_tsc, mult) + offset);  in calc_guest_tsc()
4977 	uint64_t mult = VM_TSCM_NOSCALE;  in vmm_data_write_vmm_time()  local
4979 	    vmm_host_freq, &mult);  in vmm_data_write_vmm_time()
4992 		VERIFY3U(mult, ==, VM_TSCM_NOSCALE);  in vmm_data_write_vmm_time()
4995 		VERIFY3U(mult, !=, VM_TSCM_NOSCALE);  in vmm_data_write_vmm_time()
5027 	vm->freq_multiplier = mult;  in vmm_data_write_vmm_time()