/* For other levels, "current" bucket has been emptied, and may contain
* entries for the current + level_size bucket. */
/* For other levels, "current" bucket has been emptied, and may contain
* entries for the current + level_size bucket. */
uint64_t per_bucket = 1ULL << (TIMER_LEVEL_BITS * l);
off = ((timers->base >> (l*TIMER_LEVEL_BITS)) % PER_LEVEL);
uint64_t per_bucket = 1ULL << (TIMER_LEVEL_BITS * l);
off = ((timers->base >> (l*TIMER_LEVEL_BITS)) % PER_LEVEL);