Synchronization

This section describes kernel services for synchronizing the operation of different threads, or the operation of an ISR and a thread.