Searched refs:epochSeconds (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c190 time_t epochSeconds = mktime(&timeInfo); local
191 s->cumulativeTime = (uint64_t) epochSeconds * 1000000000ULL;
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c190 time_t epochSeconds = mktime(&timeInfo); local
191 s->cumulativeTime = (uint64_t) epochSeconds * 1000000000ULL;

Completed in 25 milliseconds