Home
last modified time | relevance | path

Searched refs:l4_kip_clock (Results 1 – 7 of 7) sorted by relevance

/l4re-core-master/libc_backends/lib/l4re/lib/
A Dclock_gettime.c27 clock = l4_kip_clock(l4re_kip()); in libc_backend_rt_clock_gettime()
39 clock = l4_kip_clock(l4re_kip()); in mono_clock_gettime()
A Dclock_settime.c26 __libc_l4_rt_clock_offset = clock - l4_kip_clock(l4re_kip()); in rt_clock_settime()
/l4re-core-master/l4sys/include/
A Dkip.h141 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW;
191 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock() function
/l4re-core-master/l4re/util/include/
A Dpoll_timeout_kipclock56 _timeout = l4_kip_clock(l4re_kip()) + poll_time_us;
73 return _last_check = l4_kip_clock(l4re_kip()) < _timeout;
A Dbr_manager194 { return l4_kip_clock(l4re_kip()); }
/l4re-core-master/libc_backends/lib/misc/
A Dmisc.c145 buf->tms_utime = (clock_t)l4_kip_clock(l4re_kip()); in times()
149 return (clock_t)l4_kip_clock(l4re_kip()); in times()
/l4re-core-master/libc_backends/lib/sig/lib/
A Dsig.cc487 _sig_handling.alarm_timeout = l4_kip_clock(l4re_kip()) + seconds * 1000000; in alarm()

Completed in 7 milliseconds