Index: uspace/drv/pciintel/pci.c
===================================================================
--- uspace/drv/pciintel/pci.c	(revision 83a2f43b8c77839e3668e5f7c14333b3d1935d64)
+++ uspace/drv/pciintel/pci.c	(revision a716a75de0b0916f83c959d78a24c3842dbaa32f)
@@ -47,5 +47,5 @@
 #include <str_error.h>
 
-#include <driver.h>
+#include <ddf/driver.h>
 #include <devman.h>
 #include <ipc/devman.h>
Index: uspace/drv/pciintel/pci.h
===================================================================
--- uspace/drv/pciintel/pci.h	(revision 83a2f43b8c77839e3668e5f7c14333b3d1935d64)
+++ uspace/drv/pciintel/pci.h	(revision a716a75de0b0916f83c959d78a24c3842dbaa32f)
@@ -37,8 +37,5 @@
 #define PCI_H_
 
-#include <stdlib.h>
-#include <driver.h>
-#include <malloc.h>
-
+#include <ddf/driver.h>
 #include "pci_regs.h"