incubator-nuttx/configs/rgmp/include/stdarg.h