[pci] Formalise the PCI I/O API
[people/asdlkf/gpxe.git] / src / include / gpxe / pci.h
index 9072157..1ccdb10 100644 (file)
@@ -19,7 +19,7 @@
 #include <stdint.h>
 #include <gpxe/device.h>
 #include <gpxe/tables.h>
-#include <pci_io.h>
+#include <gpxe/pci_io.h>
 #include "pci_ids.h"
 
 /*