libc/semaphore: Read semaphore value by using NXSEM_COUNT macro

[jlaitine]

Summary

This is a small cleanup for libc nxsem_get_value, to use the provided macro to fetch the semaphore value instead of accessing semaphore internals directly outside of sched/semaphore.

Impact

No functional impact

Testing

This has obviously no functional impact, however, it has been tested together with all the changes in PR #16148 (in qemu and in real hardware).

[lupyuen]

@nuttxpr test avaota-a1:nsh

[nuttxpr]

[Experimental Bot, please feedback here]

Build and Test Successful (avaota-a1:nsh)
https://gitlab.com/lupyuen/nuttx-build-log/-/snippets/4832312

$ git clone https://github.com/tiiuae/nuttx nuttx --branch libc_small_semaphore_cleanup
$ git clone https://github.com/apache/nuttx-apps apps --branch master
$ pushd nuttx
$ git reset --hard HEAD
HEAD is now at 503534e496 libc/semaphore: Read semaphore value by using NXSEM_COUNT macro
$ popd
$ pushd apps
$ git reset --hard HEAD
HEAD is now at 61551aa84 system/dd: Implement conv=notrunc
$ popd
NuttX Source: https://github.com/apache/nuttx/tree/503534e4967abe907a584637a4e958e46f6c3299
NuttX Apps: https://github.com/apache/nuttx-apps/tree/61551aa8490236bf0dc2c96e36071b935c6d1252
$ cd nuttx
$ tools/configure.sh avaota-a1:nsh
$ make -j
$ make -j export
$ pushd ../apps
$ ./tools/mkimport.sh -z -x ../nuttx/nuttx-export-10.4.0.tar.gz
$ make -j import
$ popd
$ genromfs -f initrd -d ../apps/bin -V NuttXBootVol
$ head -c 65536 /dev/zero
$ cat nuttx.bin /tmp/nuttx.pad initrd
$ scp Image thinkcentre:/tmp/Image
$ ssh thinkcentre sudo /home/user/copy-image.sh
$ sd-mux-ctrl --device-serial=sd-wire_02-09 --ts
$ mkdir -p /tmp/sda1
$ mount /dev/sda1 /tmp/sda1
$ cp /tmp/Image /tmp/sda1/
$ rm /tmp/Image
$ umount /tmp/sda1
$ sd-mux-ctrl --device-serial=sd-wire_02-09 --dut
$ cd /home/luppy/nuttx-build-farm
$ ssh thinkcentre
nsh> uname -a
NuttX 10.4.0 503534e496 Apr  7 2025 17:30:54 arm64 avaota-a1
nsh> ostest
arena        a000    28000
ordblks         2        4
mxordblk     5ff8    1bff8
uordblks     27e8     6700
fordblks     7818    21900
user_main: Exiting
ostest_main: Exiting with status 0
nsh> Now running https://github.com/lupyuen/nuttx-build-farm/blob/main/avaota-power.sh off
----- Power off Avaota-A1
[]

[lupyuen]

@nuttxpr test milkv_duos:nsh

[nuttxpr]

[Experimental Bot, please feedback here]

Build and Test Successful (milkv_duos:nsh)
https://gitlab.com/lupyuen/nuttx-build-log/-/snippets/4832315

$ git clone https://github.com/tiiuae/nuttx nuttx --branch libc_small_semaphore_cleanup
$ git clone https://github.com/apache/nuttx-apps apps --branch master
$ pushd nuttx
$ git reset --hard HEAD
HEAD is now at 503534e496 libc/semaphore: Read semaphore value by using NXSEM_COUNT macro
$ popd
$ pushd apps
$ git reset --hard HEAD
HEAD is now at 61551aa84 system/dd: Implement conv=notrunc
$ popd
NuttX Source: https://github.com/apache/nuttx/tree/503534e4967abe907a584637a4e958e46f6c3299
NuttX Apps: https://github.com/apache/nuttx-apps/tree/61551aa8490236bf0dc2c96e36071b935c6d1252
$ cd nuttx
$ tools/configure.sh milkv_duos:nsh
$ make -j
$ make -j export
$ pushd ../apps
$ ./tools/mkimport.sh -z -x ../nuttx/nuttx-export-10.4.0.tar.gz
$ make -j import
$ popd
$ genromfs -f initrd -d ../apps/bin -V NuttXBootVol
$ head -c 65536 /dev/zero
$ cat nuttx.bin /tmp/nuttx.pad initrd
$ scp Image tftpserver:/tftpboot/Image-sg2000
$ cd /home/luppy/nuttx-build-farm
$ ssh tftpserver
OpenSBI v0.9
nsh> uname -a
NuttX 10.4.0 503534e496 Apr  7 2025 17:37:10 risc-v milkv_duos
nsh> ostest
arena       81000    81000
ordblks         2        3
mxordblk    7cff8    78ff8
uordblks     2660     4570
fordblks    7e9a0    7ca90
user_main: Exiting
ostest_main: Exiting with status 0
nsh> Now running https://github.com/lupyuen/nuttx-build-farm/blob/main/oz64-power.sh off
----- Power off Oz64
[]

[lupyuen]

Tested OK with OSTest on Avaota-A1 A527 Arm64 SBC and Oz64 SG2000 64-bit RISC-V SBC. Thanks :-)

[lupyuen]

@jlaitine Please remember to fill in the Commit Description. Thanks :-)

• 503534e