already uint32_t is defined at components/libc/compilers/minilibc/stdint.h. there is two ways to solve, using <stdint.h>/uint32_t pair or <rtthread.h>/rt_uint32_t pair. I choose former because this code belongs to C compiler, not RT-Thread system.