This section describes kernel services for passing data between different threads, or between an ISR and a thread.