unsigned int l4_thread_switch (u32 dest); 

• Yields the CPU.

• Current thread yields the CPU donating its left timeslice to thread with ID specified in the dest argument.

N/A

<< Back to Codezero API Reference