Xiao Xiang, can you fix and verify this one. I think it probably only needs to include nuttx/semaphore.h too.
You understand that under the newer rules, I have to ask to make this (probably) small change. I cannot cannot (or should not) contribute the change as a PR then also merge it. I can merge it, but I cannot also contribute it.
Greg