Searched refs:l4_thread_ex_regs_u (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | thread.h | 98 l4_thread_ex_regs_u(l4_cap_idx_t thread, l4_addr_t ip, l4_addr_t sp,
701 l4_thread_ex_regs_u(l4_cap_idx_t thread, l4_addr_t ip, l4_addr_t sp, in l4_thread_ex_regs_u() function
716 l4_msgtag_t ret = l4_thread_ex_regs_u(thread, *ip, *sp, *flags, utcb); in l4_thread_ex_regs_ret_u()
842 return l4_thread_ex_regs_u(thread, ip, sp, flags, l4_utcb()); in l4_thread_ex_regs()
|
| A D | thread | 88 { return l4_thread_ex_regs_u(cap(), ip, sp, flags, utcb); }
|
Completed in 4 milliseconds