1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef _PICO_SYNC_H
8 #define _PICO_SYNC_H
9 
10 /** \file pico/sync.h
11  *  \defgroup pico_sync pico_sync
12  * \brief Synchronization primitives and mutual exclusion
13  */
14 
15 #include "pico/sem.h"
16 #include "pico/mutex.h"
17 #include "pico/critical_section.h"
18 
19 #endif
20