Symbol: xen_tsc_to_ns_delta
sys/arch/xen/xen/xen_clock.c
340
delta_ns = xen_tsc_to_ns_delta(delta_tsc, tsc_to_system_mul,
sys/arch/xen/xen/xen_clock.c
625
if (xen_tsc_to_ns_delta(tsc - tsc_start,