59     uint64_t cmp64;         /* comparator (extended to counter width) */  member
264         t->cmp64 = hpet_calculate_cmp64(t, s->hpet_counter, t->cmp);  in hpet_post_load()
374         while (hpet_time_after(cur_tick, t->cmp64)) {  in hpet_timer()
375             t->cmp64 += period;  in hpet_timer()
378             t->cmp = (uint32_t)t->cmp64;  in hpet_timer()
380             t->cmp = t->cmp64;  in hpet_timer()
382         hpet_arm(t, t->cmp64);  in hpet_timer()
385         hpet_arm(t, t->cmp64);  in hpet_timer()
395     t->cmp64 = hpet_calculate_cmp64(t, cur_tick, t->cmp);  in hpet_set_timer()
401         if (!timer_is_periodic(t) && t->cmp64 > hpet_next_wrap(cur_tick)) {  in hpet_set_timer()
407     hpet_arm(t, t->cmp64);  in hpet_set_timer()