Home
last modified time | relevance | path

Searched refs:tsc_at_boot (Results 1 – 5 of 5) sorted by relevance

/xnu-8792.61.2/osfmk/i386/
H A Dtsc.c78 uint64_t tsc_at_boot = 0; variable
115 tsc_at_boot = *(uint64_t const *) value; in EFI_get_frequency()
117 tsc_at_boot); in EFI_get_frequency()
H A Dtsc.h61 extern uint64_t tsc_at_boot;
H A Drtclock.c349 rdtsc64() - tsc_at_boot, rntp); in rtc_set_timescale()
/xnu-8792.61.2/bsd/dev/i386/
H A Dsysctl.c846 CTLFLAG_RD | CTLFLAG_LOCKED, &tsc_at_boot, "");
/xnu-8792.61.2/bsd/kern/
H A Dkdebug.c913 tsc_at_boot, 0, 0); in kernel_debug_early_end()