Searched refs:l4_thread_control_start_u (Results 1 – 2 of 2) sorted by relevance
195 l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW;727 l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_start_u() function855 l4_thread_control_start_u(l4_utcb()); in l4_thread_control_start()
143 { l4_thread_control_start_u(utcb); }
Completed in 4 milliseconds