Searched refs:max_clock (Results 1 – 1 of 1) sorted by relevance
39 static uint64_t max_clock = UINT64_MAX; variable88 max_clock = UINT64_MAX; in fake_timerfd_reset()128 new_clock = max_clock; in fake_timerfd_advance()135 void fake_timerfd_cap_at(uint64_t ms) { max_clock = ms; } in fake_timerfd_cap_at()