Searched refs:tsc_target (Results 1 – 1 of 1) sorted by relevance
259 static volatile uint64_t tsc_target __attribute__((aligned(64))); variable338 tsc_target = 0; in started_cpu()343 tsc_target = rdtsc64(); in started_cpu()402 tsc_delta = tsc_target - tsc_starter; in start_cpu()404 psip->target_cpu, tsc_target, tsc_delta, tsc_delta); in start_cpu()420 psip->target_cpu, tsc_target, tsc_delta); in start_cpu()