Index: uspace/drv/nic/rtl8139/defs.h
===================================================================
--- uspace/drv/nic/rtl8139/defs.h	(revision 582a0b84b0a73672531e7b404a89997af41ba0b9)
+++ uspace/drv/nic/rtl8139/defs.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -36,5 +36,5 @@
 #define RTL8139_DEFS_H_
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <ddi.h>
 
Index: uspace/drv/nic/rtl8139/driver.h
===================================================================
--- uspace/drv/nic/rtl8139/driver.h	(revision 582a0b84b0a73672531e7b404a89997af41ba0b9)
+++ uspace/drv/nic/rtl8139/driver.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -30,5 +30,5 @@
 #define RTL8139_DRIVER_H_
 
-#include <sys/types.h>
+#include <stddef.h>
 #include <stdint.h>
 #include "defs.h"