Index: uspace/drv/block/ahci/ahci.h
===================================================================
--- uspace/drv/block/ahci/ahci.h	(revision f9b2cb4cf365498e1fe141b1aa66950fbc3dcb17)
+++ uspace/drv/block/ahci/ahci.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -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 f9b2cb4cf365498e1fe141b1aa66950fbc3dcb17)
+++ uspace/drv/block/ahci/ahci_hw.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -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 f9b2cb4cf365498e1fe141b1aa66950fbc3dcb17)
+++ uspace/drv/block/ahci/ahci_sata.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -34,5 +34,5 @@
 #define __AHCI_SATA_H__
 
-#include <sys/types.h>
+#include <stdint.h>
 
 /*----------------------------------------------------------------------------*/