Searched refs:tsc_target (Results 1 – 1 of 1) sorted by relevance
261 static volatile uint64_t tsc_target __attribute__((aligned(64))); variable340 tsc_target = 0; in started_cpu()345 tsc_target = rdtsc64(); in started_cpu()404 tsc_delta = tsc_target - tsc_starter; in start_cpu()406 psip->target_cpu, tsc_target, tsc_delta, tsc_delta); in start_cpu()422 psip->target_cpu, tsc_target, tsc_delta); in start_cpu()