mirror of
https://github.com/apache/nuttx.git
synced 2025-05-07 22:01:55 +08:00

Use the defined interface to fetch the semaphore count in DEBUGASSERT Signed-off-by: Jukka Laitinen <jukka.laitinen@tii.ae>
Use the defined interface to fetch the semaphore count in DEBUGASSERT Signed-off-by: Jukka Laitinen <jukka.laitinen@tii.ae>