Searched refs:hpetCvtn2t (Results 1 – 2 of 2) sorted by relevance
75 uint64_t hpetCvtn2t = 0; variable255 hpetCvtn2t = 0xFFFFFFFFFFFFFFFFULL / hpetCvtt2n; in hpet_init()260 (uint32_t)(hpetCvtn2t >> 32), (uint32_t)hpetCvtn2t); in hpet_init()271 tsc2hpet = tmrCvt(tscFCvtt2n, hpetCvtn2t); in hpet_init()281 bus2hpet = tmrCvt(busFCvtt2n, hpetCvtn2t); in hpet_init()300 info->hpetCvtn2t = hpetCvtn2t; in hpet_get_info()
72 uint64_t hpetCvtn2t; member94 extern uint64_t hpetCvtn2t;