Home
last modified time | relevance | path

Searched refs:tsc_to_system_mul (Results 1 – 3 of 3) sorted by relevance

/freebsd-10-stable/sys/dev/xen/timer/
Dtimer.c206 tinfo->tsc_to_system_mul, tinfo->tsc_shift)); in get_nsec_offset()
222 dst->tsc_to_system_mul = src->tsc_to_system_mul; in xen_fetch_vcpu_tinfo()
/freebsd-10-stable/sys/xen/interface/
Dxen.h554 uint32_t tsc_to_system_mul; member
/freebsd-10-stable/sys/i386/xen/
Dclock.c289 (void)do_div(__cpu_khz, info->tsc_to_system_mul); in startrtclock()