mirror of
https://github.com/apache/nuttx.git
synced 2026-05-11 07:48:59 +08:00
b5144afd03
Use the dedicated nuttx internal interface for debugging semaphore value, instead of accessing it directly. Signed-off-by: Jukka Laitinen <jukka.laitinen@tii.ae>