Searched refs:l4_kip_version_string (Results 1 – 3 of 3) sorted by relevance
19 const char *s = l4_kip_version_string(k); in l4util_kip_kernel_is_ux()29 const char *s = l4_kip_version_string(k); in l4util_kip_kernel_has_feature()46 const char *s = l4_kip_version_string(k); in l4util_kip_kernel_abi_version()
110 L4_INLINE const char *l4_kip_version_string(l4_kernel_info_t *kip) L4_NOTHROW;183 l4_kip_version_string(l4_kernel_info_t *k) L4_NOTHROW in l4_kip_version_string() function
30 const char *s = l4_kip_version_string(l4re_kip()); in kipstr()
Completed in 4 milliseconds