diff --git a/libcpu/ia32/__udivsi3.c b/libcpu/ia32/__udivsi3.c
index a62228a009..ec7c59d1cb 100644
--- a/libcpu/ia32/__udivsi3.c
+++ b/libcpu/ia32/__udivsi3.c
@@ -12,10 +12,7 @@
  * 2006-10-09     Bernard      the first version for i386
  */
 
-#include <rtthread.h>
-
-typedef rt_uint32_t uint32_t;
-typedef rt_int32_t int32_t;
+#include <stdint.h>
 
 uint32_t __udivsi3(uint32_t num, uint32_t den)
 {
diff --git a/libcpu/ia32/__umodsi3.c b/libcpu/ia32/__umodsi3.c
index fde56f97cd..226a2c0800 100644
--- a/libcpu/ia32/__umodsi3.c
+++ b/libcpu/ia32/__umodsi3.c
@@ -12,10 +12,7 @@
  * 2006-10-09     Bernard      the first version for i386
  */
 
-#include <rtthread.h>
-
-typedef rt_uint32_t uint32_t;
-typedef rt_int32_t int32_t;
+#include <stdint.h>
 
 uint32_t __umodsi3(uint32_t num, uint32_t den)
 {