Searched refs:tsc_delta (Results 1 – 1 of 1) sorted by relevance
394 int64_t tsc_delta; in start_cpu() local404 tsc_delta = tsc_target - tsc_starter; in start_cpu()406 psip->target_cpu, tsc_target, tsc_delta, tsc_delta); in start_cpu()412 cpu_datap(psip->target_cpu)->tsc_sync_delta = tsc_delta; in start_cpu()414 if (ABS(tsc_delta) > (int64_t) TSC_sync_margin) { in start_cpu()422 psip->target_cpu, tsc_target, tsc_delta); in start_cpu()