Home
last modified time | relevance | path

Searched refs:tsc_offsets (Results 1 – 4 of 4) sorted by relevance

/dragonfly/sys/kern/
H A Dkern_ktr.c223 extern int64_t tsc_offsets[];
402 if (tsc_offsets[gd->gd_cpuid] == 0) in ktr_resync_remote()
403 tsc_offsets[gd->gd_cpuid] = delta; in ktr_resync_remote()
404 tsc_offsets[gd->gd_cpuid] = in ktr_resync_remote()
405 (tsc_offsets[gd->gd_cpuid] * 7 + delta) / 8; in ktr_resync_remote()
515 entry->ktr_timestamp = rdtsc() - tsc_offsets[cpu]; in ktr_begin_write_entry()
/dragonfly/sys/platform/pc64/x86_64/
H A Dmp_machdep.c145 extern int64_t tsc_offsets[];
591 tsc_offsets[0] = 0; in start_all_aps()
1466 tsc_offsets[mycpu->gd_cpuid] = rdtsc() - tsc0_offset; in ap_init()
H A Dmachdep.c161 int64_t tsc_offsets[MAXCPU]; variable
/dragonfly/sys/platform/vkernel64/x86_64/
H A Dcpu_regs.c104 int64_t tsc_offsets[MAXCPU]; variable