Searched refs:l4_icu_info_u (Results 1 – 2 of 2) sorted by relevance
281 l4_icu_info_u(l4_cap_idx_t icu, l4_icu_info_t *info,394 l4_icu_info_u(l4_cap_idx_t icu, l4_icu_info_t *info, in l4_icu_info_u() function479 { return l4_icu_info_u(icu, info, l4_utcb()); } in l4_icu_info()
335 { return l4_icu_info_u(cap(), info, utcb); }
Completed in 3 milliseconds