Searched refs:tsc2hpet (Results 1 – 2 of 2) sorted by relevance
75 uint64_t tsc2hpet = 0; variable270 tsc2hpet = tmrCvt(tscFCvtt2n, hpetCvtn2t); in hpet_init()272 (uint32_t)(tsc2hpet >> 32), (uint32_t)tsc2hpet); in hpet_init()300 info->tsc2hpet = tsc2hpet; in hpet_get_info()
73 uint64_t tsc2hpet; member95 extern uint64_t tsc2hpet;