Searched refs:l4_thread_regs_t (Results 1 – 2 of 2) sorted by relevance
110 typedef struct l4_thread_regs_t struct118 } l4_thread_regs_t; argument179 L4_INLINE l4_thread_regs_t *l4_utcb_tcr(void) L4_NOTHROW L4_PURE;185 L4_INLINE l4_thread_regs_t *l4_utcb_tcr_u(l4_utcb_t *u) L4_NOTHROW L4_PURE;326 L4_INLINE l4_thread_regs_t *l4_utcb_tcr_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_tcr_u()327 { return (l4_thread_regs_t*)((char*)u + L4_UTCB_THREAD_REGS_OFFSET); } in l4_utcb_tcr_u()358 L4_INLINE l4_thread_regs_t *l4_utcb_tcr(void) L4_NOTHROW in l4_utcb_tcr()
335 l4_thread_regs_t *tcr = l4_utcb_tcr_u(u); in __l4_add_utcbs()
Completed in 7 milliseconds