Lines Matching refs:kip
101 L4_INLINE l4_umword_t l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW;
110 L4_INLINE const char *l4_kip_version_string(l4_kernel_info_t *kip) L4_NOTHROW;
121 l4_kernel_info_version_offset(l4_kernel_info_t *kip) L4_NOTHROW;
141 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW;
154 l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW;
170 l4_kip_clock_ns(l4_kernel_info_t *kip) L4_NOTHROW;
179 l4_kip_version(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_version() argument
180 { return kip->version & L4_KIP_VERSION_FIASCO_MASK; } in l4_kip_version()
187 l4_kernel_info_version_offset(l4_kernel_info_t *kip) L4_NOTHROW in l4_kernel_info_version_offset() argument
188 { return kip->offset_version_strings << 4; } in l4_kernel_info_version_offset()
191 l4_kip_clock(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock() argument
196 (kip_time_fn_read_us)((l4_uint8_t*)kip + L4_KIP_OFFS_READ_US); in l4_kip_clock()
201 l4_kip_clock_ns(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_ns() argument
205 (kip_time_fn_read_ns)((l4_uint8_t*)kip + L4_KIP_OFFS_READ_NS); in l4_kip_clock_ns()
210 l4_kip_clock_lw(l4_kernel_info_t *kip) L4_NOTHROW in l4_kip_clock_lw() argument
213 unsigned long *c = (unsigned long *)&kip->_clock_val; in l4_kip_clock_lw()