l4_thread_switch (reference) in projects: l4re-core-master

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

/l4re-core-master/l4util/include/
A D	lock.h	`57 l4_thread_switch(L4_INVALID_CAP); in l4_simple_lock_solid()`
/l4re-core-master/l4sys/include/
A D	thread.h	`350 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW; 899 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW in l4_thread_switch() function`

Completed in 5 milliseconds