Searched refs:next_time (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 106 * 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 D | local_time_manager.c | 59 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 D | tqueue.c | 145 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