Searched refs:busFCvtt2n (Results 1 – 4 of 4) sorted by relevance
66 uint64_t busFCvtt2n = 0; variable152 busFCvtt2n = ((1 * Giga) << 32) / busFreq; in tsc_init()153 busFCvtn2t = 0xFFFFFFFFFFFFFFFFULL / busFCvtt2n; in tsc_init()161 bus2tsc = tmrCvt(busFCvtt2n, tscFCvtn2t); in tsc_init()257 busFCvtt2n = ((1 * Giga) << 32) / busFreq; in tsc_init()258 busFCvtn2t = 0xFFFFFFFFFFFFFFFFULL / busFCvtt2n; in tsc_init()267 (uint32_t)(busFCvtt2n >> 32), (uint32_t)busFCvtt2n, in tsc_init()274 tscFCvtt2n = busFCvtt2n; in tsc_init()286 tscFCvtt2n = busFCvtt2n * 2 / (1 + 2 * tscGranularity); in tsc_init()288 tscFCvtt2n = busFCvtt2n / tscGranularity; in tsc_init()[all …]
50 extern uint64_t busFCvtt2n;64 uint64_t busFCvtt2n; member
192 rtc_decrementer_max = tmrCvt(0x7fffffffULL, busFCvtt2n); in rtc_timer_init()
280 bus2hpet = tmrCvt(busFCvtt2n, hpetCvtn2t); in hpet_init()