Searched refs:l4_capability_equal (Results 1 – 1 of 1) sorted by relevance
376 L4_INLINE unsigned l4_capability_equal(l4_cap_idx_t c1, l4_cap_idx_t c2) L4_NOTHROW;400 l4_capability_equal(l4_cap_idx_t c1, l4_cap_idx_t c2) L4_NOTHROW in l4_capability_equal() function
Completed in 3 milliseconds