Searched refs:counter64 (Results 1 – 4 of 4) sorted by relevance
75 / sHPETPeriod) + sHPETRegs->u0.counter64; in hpet_convert_timeout()202 uint64 initialValue = sHPETRegs->u0.counter64; in hpet_test()204 uint64 finalValue = sHPETRegs->u0.counter64; in hpet_test()
88 volatile uint64 counter64; /* R/W */ member
90 volatile uint64 counter64; /* R/W */ member
81 bigtime_t counter = sHPETRegs->u0.counter64; in hpet_convert_timeout()541 *(uint64*)buffer = sHPETRegs->u0.counter64; in hpet_read()