Searched refs:tsc_delta (Results 1 – 1 of 1) sorted by relevance
392 int64_t tsc_delta; in start_cpu() local402 tsc_delta = tsc_target - tsc_starter; in start_cpu()404 psip->target_cpu, tsc_target, tsc_delta, tsc_delta); in start_cpu()410 cpu_datap(psip->target_cpu)->tsc_sync_delta = tsc_delta; in start_cpu()412 if (ABS(tsc_delta) > (int64_t) TSC_sync_margin) { in start_cpu()420 psip->target_cpu, tsc_target, tsc_delta); in start_cpu()