Searched refs:busFCvtn2t (Results 1 – 4 of 4) sorted by relevance
67 uint64_t busFCvtn2t = 0; variable153 busFCvtn2t = 0xFFFFFFFFFFFFFFFFULL / busFCvtt2n; in tsc_init()258 busFCvtn2t = 0xFFFFFFFFFFFFFFFFULL / busFCvtt2n; in tsc_init()268 (uint32_t)(busFCvtn2t >> 32), (uint32_t)busFCvtn2t); in tsc_init()273 tscFCvtn2t = busFCvtn2t; in tsc_init()313 info->busFCvtn2t = busFCvtn2t; in tsc_get_info()
51 extern uint64_t busFCvtn2t;65 uint64_t busFCvtn2t; member
93 lapic_set_timer_fast((uint32_t) tmrCvt(count, busFCvtn2t)); in rtc_lapic_set_timer()
285 hpet2bus = tmrCvt(hpetCvtt2n, busFCvtn2t); in hpet_init()