Searched refs:curr_time (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | local_time_manager.c | 57 static int update_with_time(void *data, uint64_t curr_time) argument
65 error = tqueue_update(&state->timeouts, curr_time, &next_time);
78 int ret = ltimer_get_time(state->ltimer, &curr_time);
97 uint64_t curr_time; local
99 int error = get_time(data, &curr_time);
109 timeout.abs_time = curr_time + ns;
115 timeout.abs_time = curr_time + ns;
123 if (timeout.abs_time < curr_time) {
135 if (timeout.abs_time + NS_IN_US < state->current_timeout || state->current_timeout < curr_time) {
145 int ret = ltimer_get_time(state->ltimer, &curr_time);
[all...] |
| H A D | tqueue.c | 145 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time) { argument
152 while (t != NULL && t->timeout.abs_time <= curr_time) {
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | local_time_manager.c | 57 static int update_with_time(void *data, uint64_t curr_time) argument
65 error = tqueue_update(&state->timeouts, curr_time, &next_time);
78 int ret = ltimer_get_time(state->ltimer, &curr_time);
97 uint64_t curr_time; local
99 int error = get_time(data, &curr_time);
109 timeout.abs_time = curr_time + ns;
115 timeout.abs_time = curr_time + ns;
123 if (timeout.abs_time < curr_time) {
135 if (timeout.abs_time + NS_IN_US < state->current_timeout || state->current_timeout < curr_time) {
145 int ret = ltimer_get_time(state->ltimer, &curr_time);
[all...] |
| H A D | tqueue.c | 145 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time) { argument
152 while (t != NULL && t->timeout.abs_time <= curr_time) {
|
| /seL4-refos-master/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
109 * @param curr_time the time to check abs_time against for all timeouts.
115 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time);
|
| /seL4-refos-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
109 * @param curr_time the time to check abs_time against for all timeouts.
115 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time);
|
Completed in 40 milliseconds