Index: uspace/drv/audio/hdaudio/spec/regs.h
===================================================================
--- uspace/drv/audio/hdaudio/spec/regs.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/audio/hdaudio/spec/regs.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 #define SPEC_REGS_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /** Stream Descriptor registers */
Index: uspace/drv/block/ahci/ahci.h
===================================================================
--- uspace/drv/block/ahci/ahci.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ahci/ahci.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -35,8 +35,9 @@
 
 #include <async.h>
-#include <sys/types.h>
 #include <devman.h>
 #include <ddf/interrupt.h>
 #include <stdio.h>
+#include <stddef.h>
+#include <stdint.h>
 #include "ahci_hw.h"
 
Index: uspace/drv/block/ahci/ahci_hw.h
===================================================================
--- uspace/drv/block/ahci/ahci_hw.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ahci/ahci_hw.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -34,5 +34,5 @@
 #define __AHCI_HW_H__
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /*----------------------------------------------------------------------------*/
Index: uspace/drv/block/ahci/ahci_sata.h
===================================================================
--- uspace/drv/block/ahci/ahci_sata.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ahci/ahci_sata.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -34,5 +34,5 @@
 #define __AHCI_SATA_H__
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /*----------------------------------------------------------------------------*/
Index: uspace/drv/block/ata_bd/ata_bd.c
===================================================================
--- uspace/drv/block/ata_bd/ata_bd.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ata_bd/ata_bd.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -58,11 +58,11 @@
 #include <scsi/spc.h>
 #include <stdint.h>
+#include <stdbool.h>
+#include <stdio.h>
+#include <stddef.h>
 #include <str.h>
 #include <loc.h>
-#include <sys/types.h>
 #include <inttypes.h>
 #include <errno.h>
-#include <stdbool.h>
-#include <stdio.h>
 #include <byteorder.h>
 #include <task.h>
Index: uspace/drv/block/ata_bd/ata_bd.h
===================================================================
--- uspace/drv/block/ata_bd/ata_bd.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ata_bd/ata_bd.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -39,7 +39,8 @@
 #include <bd_srv.h>
 #include <ddf/driver.h>
-#include <sys/types.h>
 #include <fibril_synch.h>
 #include <str.h>
+#include <stdint.h>
+#include <stddef.h>
 #include "ata_hw.h"
 
Index: uspace/drv/block/ata_bd/ata_hw.h
===================================================================
--- uspace/drv/block/ata_bd/ata_hw.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/block/ata_bd/ata_hw.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 #define __ATA_HW_H__
 
-#include <sys/types.h>
+#include <stdint.h>
 
 enum {
Index: uspace/drv/bus/usb/ehci/ehci_regs.h
===================================================================
--- uspace/drv/bus/usb/ehci/ehci_regs.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/ehci_regs.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -34,4 +34,5 @@
 #ifndef DRV_EHCI_EHCI_REGS_H
 #define DRV_EHCI_EHCI_REGS_H
+
 #include <sys/types.h>
 #include <byteorder.h>
Index: uspace/drv/bus/usb/ehci/ehci_rh.c
===================================================================
--- uspace/drv/bus/usb/ehci/ehci_rh.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/ehci_rh.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,6 @@
 #include <mem.h>
 #include <str_error.h>
-#include <sys/types.h>
+#include <stdint.h>
+#include <stddef.h>
 
 #include <usb/classes/hub.h>
Index: uspace/drv/bus/usb/ehci/ehci_rh.h
===================================================================
--- uspace/drv/bus/usb/ehci/ehci_rh.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/ehci_rh.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 
 #include <assert.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 #include <usb/usb.h>
Index: uspace/drv/bus/usb/ehci/endpoint_list.h
===================================================================
--- uspace/drv/bus/usb/ehci/endpoint_list.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/endpoint_list.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,4 @@
 #include <assert.h>
 #include <fibril_synch.h>
-#include <sys/types.h>
 #include <usb/host/utils/malloc32.h>
 
Index: uspace/drv/bus/usb/ehci/hc.c
===================================================================
--- uspace/drv/bus/usb/ehci/hc.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hc.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -40,6 +40,6 @@
 #include <mem.h>
 #include <stdlib.h>
+#include <stdint.h>
 #include <str_error.h>
-#include <sys/types.h>
 
 #include <usb/debug.h>
Index: uspace/drv/bus/usb/ehci/hc.h
===================================================================
--- uspace/drv/bus/usb/ehci/hc.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hc.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -42,5 +42,5 @@
 #include <fibril_synch.h>
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 #include <usb/host/hcd.h>
Index: uspace/drv/bus/usb/ehci/hw_struct/iso_transfer_descriptor.h
===================================================================
--- uspace/drv/bus/usb/ehci/hw_struct/iso_transfer_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hw_struct/iso_transfer_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -35,5 +35,5 @@
 #define DRV_EHCI_HW_STRUCT_ISO_TRANSFER_DESCRIPTOR_H
 
-#include <sys/types.h>
+#include <stdint.h>
 #include "link_pointer.h"
 
Index: uspace/drv/bus/usb/ehci/hw_struct/link_pointer.h
===================================================================
--- uspace/drv/bus/usb/ehci/hw_struct/link_pointer.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hw_struct/link_pointer.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -35,5 +35,5 @@
 #define DRV_EHCI_HW_STRUCT_LINK_POINTER_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /** EHCI link pointer, used by many data structures */
Index: uspace/drv/bus/usb/ehci/hw_struct/queue_head.h
===================================================================
--- uspace/drv/bus/usb/ehci/hw_struct/queue_head.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hw_struct/queue_head.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 
 #include <assert.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/host/endpoint.h>
 #include <usb/host/utils/malloc32.h>
Index: uspace/drv/bus/usb/ehci/hw_struct/split_iso_transfer_descriptor.h
===================================================================
--- uspace/drv/bus/usb/ehci/hw_struct/split_iso_transfer_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hw_struct/split_iso_transfer_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -35,5 +35,5 @@
 #define DRV_EHCI_HW_STRUCT_SPLIT_ISO_TRANSFER_DESCRIPTOR_H
 
-#include <sys/types.h>
+#include <stdint.h>
 #include "link_pointer.h"
 
Index: uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.h
===================================================================
--- uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -35,5 +35,6 @@
 #define DRV_EHCI_HW_STRUCT_TRANSFER_DESCRIPTOR_H
 
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include "link_pointer.h"
 #include "mem_access.h"
Index: uspace/drv/bus/usb/ohci/endpoint_list.h
===================================================================
--- uspace/drv/bus/usb/ohci/endpoint_list.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/endpoint_list.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,5 @@
 #include <assert.h>
 #include <fibril_synch.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/host/utils/malloc32.h>
 
Index: uspace/drv/bus/usb/ohci/hc.c
===================================================================
--- uspace/drv/bus/usb/ohci/hc.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/hc.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -41,5 +41,6 @@
 #include <stdlib.h>
 #include <str_error.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 
 #include <usb/debug.h>
Index: uspace/drv/bus/usb/ohci/hc.h
===================================================================
--- uspace/drv/bus/usb/ohci/hc.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/hc.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -44,5 +44,5 @@
 #include <fibril_synch.h>
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 #include <usb/host/hcd.h>
Index: uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h
===================================================================
--- uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/hw_struct/endpoint_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #include <assert.h>
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 #include <usb/host/endpoint.h>
Index: uspace/drv/bus/usb/ohci/hw_struct/hcca.h
===================================================================
--- uspace/drv/bus/usb/ohci/hw_struct/hcca.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/hw_struct/hcca.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,5 @@
 
 #include <malloc.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <macros.h>
 #include <assert.h>
Index: uspace/drv/bus/usb/ohci/hw_struct/iso_transfer_descriptor.h
===================================================================
--- uspace/drv/bus/usb/ohci/hw_struct/iso_transfer_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/hw_struct/iso_transfer_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #define DRV_OHCI_HW_STRUCT_ISO_TRANSFER_DESCRIPTOR_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 #include "completion_codes.h"
Index: uspace/drv/bus/usb/ohci/ohci_rh.c
===================================================================
--- uspace/drv/bus/usb/ohci/ohci_rh.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/ohci_rh.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,6 @@
 #include <errno.h>
 #include <mem.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 
 #include <usb/classes/hub.h>
Index: uspace/drv/bus/usb/ohci/ohci_rh.h
===================================================================
--- uspace/drv/bus/usb/ohci/ohci_rh.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/ohci/ohci_rh.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 
 #include <assert.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 #include <usb/usb.h>
Index: uspace/drv/bus/usb/uhci/hc.c
===================================================================
--- uspace/drv/bus/usb/uhci/hc.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/hc.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -44,6 +44,6 @@
 #include <mem.h>
 #include <stdlib.h>
+#include <stdint.h>
 #include <str_error.h>
-#include <sys/types.h>
 
 #include <usb/debug.h>
Index: uspace/drv/bus/usb/uhci/hw_struct/link_pointer.h
===================================================================
--- uspace/drv/bus/usb/uhci/hw_struct/link_pointer.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/hw_struct/link_pointer.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #define DRV_UHCI_HW_STRUCT_LINK_POINTER_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /** UHCI link pointer, used by many data structures */
Index: uspace/drv/bus/usb/uhci/hw_struct/queue_head.h
===================================================================
--- uspace/drv/bus/usb/uhci/hw_struct/queue_head.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/hw_struct/queue_head.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,5 @@
 
 #include <assert.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/host/utils/malloc32.h>
 
Index: uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h
===================================================================
--- uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/hw_struct/transfer_descriptor.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -40,5 +40,6 @@
 #include <usb/usb.h>
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 
 #include "link_pointer.h"
Index: uspace/drv/bus/usb/uhci/transfer_list.c
===================================================================
--- uspace/drv/bus/usb/uhci/transfer_list.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/transfer_list.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #include <errno.h>
 #include <libarch/barrier.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/debug.h>
 #include <usb/host/usb_transfer_batch.h>
Index: uspace/drv/bus/usb/uhci/uhci_batch.h
===================================================================
--- uspace/drv/bus/usb/uhci/uhci_batch.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/uhci/uhci_batch.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -41,5 +41,5 @@
 #include <errno.h>
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stddef.h>
 #include <usb/host/usb_transfer_batch.h>
 
Index: uspace/drv/bus/usb/usbhub/status.h
===================================================================
--- uspace/drv/bus/usb/usbhub/status.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbhub/status.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/dev/request.h>
 
Index: uspace/drv/bus/usb/usbmast/bo_trans.h
===================================================================
--- uspace/drv/bus/usb/usbmast/bo_trans.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbmast/bo_trans.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,6 @@
 
 #include <scsi/spc.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <usb/usb.h>
 #include <usb/dev/pipes.h>
Index: uspace/drv/bus/usb/usbmast/cmdw.c
===================================================================
--- uspace/drv/bus/usb/usbmast/cmdw.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbmast/cmdw.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -36,5 +36,5 @@
 #include <byteorder.h>
 #include <mem.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/usb.h>
 #include "cmdw.h"
Index: uspace/drv/bus/usb/usbmast/cmdw.h
===================================================================
--- uspace/drv/bus/usb/usbmast/cmdw.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbmast/cmdw.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #define CMDW_H_
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <usb/usb.h>
 
Index: uspace/drv/bus/usb/usbmast/scsi_ms.h
===================================================================
--- uspace/drv/bus/usb/usbmast/scsi_ms.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbmast/scsi_ms.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,6 @@
 
 #include <scsi/spc.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <usb/usb.h>
 #include <usb/dev/driver.h>
Index: uspace/drv/bus/usb/usbmast/usbmast.h
===================================================================
--- uspace/drv/bus/usb/usbmast/usbmast.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/bus/usb/usbmast/usbmast.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,6 @@
 
 #include <bd_srv.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <usb/usb.h>
 
Index: uspace/drv/char/pl050/pl050_hw.h
===================================================================
--- uspace/drv/char/pl050/pl050_hw.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/char/pl050/pl050_hw.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #define PL050_HW_H
 
-#include <sys/types.h>
+#include <stdint.h>
 
 typedef struct {
Index: uspace/drv/fb/kfb/port.c
===================================================================
--- uspace/drv/fb/kfb/port.c	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/fb/kfb/port.c	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -38,5 +38,6 @@
 
 #include <abi/fb/visuals.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <errno.h>
 
Index: uspace/drv/nic/ar9271/htc.h
===================================================================
--- uspace/drv/nic/ar9271/htc.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/nic/ar9271/htc.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -40,5 +40,6 @@
 #include <fibril_synch.h>
 #include <usb/dev/driver.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <nic.h>
 #include "ath.h"
Index: uspace/drv/nic/rtl8139/defs.h
===================================================================
--- uspace/drv/nic/rtl8139/defs.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/nic/rtl8139/defs.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -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 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/nic/rtl8139/driver.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -30,5 +30,5 @@
 #define RTL8139_DRIVER_H_
 
-#include <sys/types.h>
+#include <stddef.h>
 #include <stdint.h>
 #include "defs.h"
Index: uspace/drv/nic/rtl8169/defs.h
===================================================================
--- uspace/drv/nic/rtl8169/defs.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/nic/rtl8169/defs.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -37,5 +37,5 @@
 #define RTL8169_DEFS_H_
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <ddi.h>
 
Index: uspace/drv/nic/rtl8169/driver.h
===================================================================
--- uspace/drv/nic/rtl8169/driver.h	(revision 805552d0df94261451a5f7df54c5bd5cf4cddbc5)
+++ uspace/drv/nic/rtl8169/driver.h	(revision fec333b34757b0ab4e68ee81582f355cfa664e93)
@@ -31,5 +31,5 @@
 #define RTL8169_DRIVER_H_
 
-#include <sys/types.h>
+#include <stddef.h>
 #include <stdint.h>
 #include "defs.h"