pico-sdk
pico-sdk copied to clipboard
Fix documentation group of critical_section_is_initialized (#2741)
Just move to the critical_section documentation group.