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