Searched refs:next_time (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h106 * Call any callbacks where abs_time is >= curr_time. Return the next timeout due in next_time. Reenqueue
110 * @param[out] next_time field to populate with next lowest time to be set after all callbacks called.
115 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time);
120 * @param[out] next_time field to populate with next lowest time to be set.
121 * @return EINVAL if tq or next_time is NULL, 0 on success.
123 int tqueue_next(tqueue_t *tq, uint64_t *next_time);
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c59 uint64_t next_time; local
65 error = tqueue_update(&state->timeouts, curr_time, &next_time);
71 if (next_time == 0) {
76 error = ltimer_set_timeout(state->ltimer, next_time, TIMEOUT_ABSOLUTE);
84 state->current_timeout = next_time;
H A Dtqueue.c145 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time) { argument
170 if (next_time) {
172 *next_time = t->timeout.abs_time;
174 *next_time = 0;

Completed in 81 milliseconds