Searched refs:l4re_util_cap_free_um (Results 1 – 2 of 2) sorted by relevance
56 l4re_util_cap_free_um(l4_cap_idx_t cap) L4_NOTHROW;
32 void l4re_util_cap_free_um(l4_cap_idx_t cap) L4_NOTHROW in l4re_util_cap_free_um() function
Completed in 7 milliseconds