mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge ea4c8d03df into a76f2416ba

Browse source
This commit is contained in:
Miaou 2025-12-08 12:21:32 +01:00 • committed by GitHub
commit afacec3ed1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/common/pico_sync/include/pico/critical_section.h
View file

@ -84,7 +84,7 @@ __force_inline static void critical_section_exit(critical_section_t *crit_sec) {
void critical_section_deinit(critical_section_t *crit_sec);
/*! \brief Test whether a critical_section has been initialized
* \ingroup mutex
* \ingroup critical_section
*
* \param crit_sec Pointer to critical_section structure
* \return true if the critical section is initialized, false otherwise