Searched refs:l4_is_invalid_cap (Results 1 – 8 of 8) sorted by relevance
50 if (l4_is_invalid_cap(_cap)) { \52 ASSERT_ASSERT(!l4_is_invalid_cap(_cap)); \
19 if (l4_is_invalid_cap(c)) in pthread_kill()
116 if (!l4_is_invalid_cap(__pthread_manager_request) in pthread_key_delete()
157 if (l4_is_invalid_cap(__pthread_manager_request)) in __pthread_send_manager_rq()
905 if (__builtin_expect (l4_is_invalid_cap(__pthread_manager_request), 0)) { in __pthread_create()1072 if (!l4_is_invalid_cap(__pthread_manager_request)) { in strong_alias()
353 L4_INLINE unsigned l4_is_invalid_cap(l4_cap_idx_t c) L4_NOTHROW;392 l4_is_invalid_cap(l4_cap_idx_t c) L4_NOTHROW in l4_is_invalid_cap() function
16 if (l4_is_invalid_cap(obj)) in l4_invoke_debugger()
42 if (!l4_is_invalid_cap(scheduler)) in l4util_create_thread()
Completed in 15 milliseconds