l4_is_valid_cap (reference) in projects: l4re-core-master

Searched refs:l4_is_valid_cap (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/l4sys/include/
A D	types.h	`364 L4_INLINE unsigned l4_is_valid_cap(l4_cap_idx_t c) L4_NOTHROW; 396 l4_is_valid_cap(l4_cap_idx_t c) L4_NOTHROW in l4_is_valid_cap() function`
/l4re-core-master/l4re/util/include/
A D	bitmap_cap_alloc	`93 if (l4_is_valid_cap(task))`
A D	counting_cap_alloc	`209 if (l4_is_valid_cap(task))`
/l4re-core-master/libloader/include/
A D	loader	`119 if (l4_is_valid_cap(c))`

Completed in 5 milliseconds