Home
last modified time | relevance | path

Searched refs:to_thread (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4sys/include/
A Dthread.h350 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW;
357 l4_thread_switch_u(l4_cap_idx_t to_thread, l4_utcb_t *utcb) L4_NOTHROW;
796 l4_thread_switch_u(l4_cap_idx_t to_thread, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_switch_u() argument
800 return l4_ipc_call(to_thread, utcb, l4_msgtag(L4_PROTO_THREAD, 1, 0, 0), L4_IPC_NEVER); in l4_thread_switch_u()
899 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW in l4_thread_switch() argument
901 return l4_thread_switch_u(to_thread, l4_utcb()); in l4_thread_switch()

Completed in 6 milliseconds