Home
last modified time | relevance | path

Searched refs:l4_is_invalid_cap (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/l4util/include/
A Dassert.h50 if (l4_is_invalid_cap(_cap)) { \
52 ASSERT_ASSERT(!l4_is_invalid_cap(_cap)); \
/l4re-core-master/uclibc/lib/libpthread/src/
A Dsignals.c19 if (l4_is_invalid_cap(c)) in pthread_kill()
A Dspecific.c116 if (!l4_is_invalid_cap(__pthread_manager_request) in pthread_key_delete()
A Dinternals.h157 if (l4_is_invalid_cap(__pthread_manager_request)) in __pthread_send_manager_rq()
A Dpthread.c905 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()
/l4re-core-master/l4sys/include/
A Dtypes.h353 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
A D__kernel_object_impl.h16 if (l4_is_invalid_cap(obj)) in l4_invoke_debugger()
/l4re-core-master/l4util/lib/src/
A Dthread.c42 if (!l4_is_invalid_cap(scheduler)) in l4util_create_thread()

Completed in 15 milliseconds