and include the used header files(nuttx/clock.h and nuttx/semaphore.h) Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>