Searched refs:tsc_to_system_mul (Results 1 - 4 of 4) sorted by relevance

/freebsd-current/sys/x86/include/
H A Dpvclock.h43 uint32_t tsc_to_system_mul; member in struct:pvclock_vcpu_time_info
/freebsd-current/sys/x86/x86/
H A Dpvclock.c93 freq = (1000000000ULL << 32) / ti->tsc_to_system_mul;
112 ti->tsc_to_system_mul, ti->tsc_shift);
/freebsd-current/sys/contrib/xen/
H A Dxen.h677 * ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
679 * ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift
681 uint32_t tsc_to_system_mul; member in struct:vcpu_time_info
/freebsd-current/lib/libsys/x86/
H A D__vdso_gettc.c370 ti->tsc_to_system_mul, ti->tsc_shift);

Completed in 116 milliseconds