Home
last modified time | relevance | path

Searched refs:l4re_kip (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/ned/server/src/
A Dlua_info.cc30 const char *s = l4_kip_version_string(l4re_kip()); in kipstr()
43 if (l4util_kip_kernel_is_ux(l4re_kip())) in platformstr()
46 lua_pushstring(l, l4re_kip()->platform_info.name); in platformstr()
/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/l4re/include/
A Denv.h147 L4_INLINE l4_kernel_info_t *l4re_kip(void) L4_NOTHROW;
189 l4_kernel_info_t *l4re_kip() L4_NOTHROW in l4re_kip() 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 11 milliseconds