timer->all_bits += delta;
#else /* defined(__LP64__) */
extern void timer_advance_internal_32(timer_t timer, uint32_t high,
timer->all_bits += delta;
#else /* defined(__LP64__) */
extern void timer_advance_internal_32(timer_t timer, uint32_t high,
uint64_t low = delta + timer->low_bits;
if (low >> 32) {
timer_advance_internal_32(timer,
uint64_t low = delta + timer->low_bits;
if (low >> 32) {
timer_advance_internal_32(timer,