1 files changed, 4 insertions, 4 deletions
diff --git a/nuttx/sched/work_thread.c b/nuttx/sched/work_thread.c
index 1a772b6186..56673c9f0b 100755
--- a/nuttx/sched/work_thread.c
+++ b/nuttx/sched/work_thread.c
@@ -38,8 +38,8 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
-#include <sys/types.h>
 
+#include <stdint.h>
 #include <unistd.h>
 #include <queue.h>
 #include <assert.h>
@@ -103,9 +103,9 @@ int work_thread(int argc, char *argv[])
   volatile FAR struct work_s *work;
   worker_t  worker;
   FAR void *arg;
-  uint32 elapsed;
-  uint32 remaining;
-  uint32 next;
+  uint32_t elapsed;
+  uint32_t remaining;
+  uint32_t next;
   int usec;
   irqstate_t flags;