Searched refs:l4_utcb_exc_u (Results 1 – 1 of 1) sorted by relevance
205 L4_INLINE l4_exc_regs_t *l4_utcb_exc_u(l4_utcb_t *u) L4_NOTHROW L4_PURE;329 L4_INLINE l4_exc_regs_t *l4_utcb_exc_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_exc_u() function362 { return l4_utcb_exc_u(l4_utcb()); } in l4_utcb_exc()
Completed in 3 milliseconds