Searched refs:l4_utcb_direct (Results 1 – 10 of 10) sorted by relevance
31 return l4_utcb_direct(); in l4_utcb_wrap()
139 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW L4_PURE;345 return l4_utcb_direct(); in l4_utcb()
43 l4_msgtag_t t = l4_task_cap_equal_u(L4RE_THIS_TASK_CAP, a, b, l4_utcb_direct()); in _dl_cap_equal()
78 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
80 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
82 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
105 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
96 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
89 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW in l4_utcb_direct() function
Completed in 13 milliseconds