Searched refs:l4util_kip_kernel_is_ux (Results 1 – 3 of 3) sorted by relevance
33 L4_CV int l4util_kip_kernel_is_ux(l4_kernel_info_t *);
17 l4util_kip_kernel_is_ux(l4_kernel_info_t *k) in l4util_kip_kernel_is_ux() function
43 if (l4util_kip_kernel_is_ux(l4re_kip())) in platformstr()
Completed in 5 milliseconds