Searched refs:cumulativeTime (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h53 uint64_t cumulativeTime; /*!< Current cumulative time. */ member in struct:device_timer_state
H A Ddevice_timer.c145 s->cumulativeTime += s->timerIRQPeriod;
171 s->cumulativeTime = 0;
191 s->cumulativeTime = (uint64_t) epochSeconds * 1000000000ULL;
350 time += s->cumulativeTime;
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h53 uint64_t cumulativeTime; /*!< Current cumulative time. */ member in struct:device_timer_state
H A Ddevice_timer.c145 s->cumulativeTime += s->timerIRQPeriod;
171 s->cumulativeTime = 0;
191 s->cumulativeTime = (uint64_t) epochSeconds * 1000000000ULL;
350 time += s->cumulativeTime;

Completed in 29 milliseconds