xen_clock.c | 85 "uint64_t"/*tsc_to_system_mul*/, 93 "uint64_t"/*tsc_to_system_mul*/, 101 "uint64_t"/*tsc_to_system_mul*/, 109 "uint64_t"/*tsc_to_system_mul*/, 246 xen_tsc_to_ns_delta(uint64_t delta_tsc, uint32_t tsc_to_system_mul, 260 return ((uint64_t)delta_tsc_hi * tsc_to_system_mul) + 261 (((uint64_t)delta_tsc_lo * tsc_to_system_mul) >> 32); 278 uint32_t tsc_to_system_mul; local in function:xen_vcputime_systime_ns 298 tsc_to_system_mul = vt->tsc_to_system_mul; 605 uint32_t tsc_to_system_mul; local in function:xen_delay [all...] |