Searched refs:high_bits (Results 1 – 2 of 2) sorted by relevance
81 uint32_t high_bits; member
84 (uint32_t)(timer->high_bits + (low >> 32)), (uint32_t)low); in timer_advance()