Kaluga: fix ARM build
authorReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 22 Jun 2015 10:08:19 +0000 (12:08 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 22 Jun 2015 10:08:19 +0000 (12:08 +0200)
adding include for pci.h also for the ARM build to get the
definition of struct pci_address

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

usr/kaluga/driver_startup.c

index ee884e1..db8bfed 100644 (file)
@@ -4,13 +4,12 @@
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/spawn_client.h>
 
+#include <pci/pci.h> // for pci_address
+
 #ifdef __arm__
 #include <if/monitor_blocking_rpcclient_defs.h>
 #endif
 
-#ifdef __x86__
-#include <pci/pci.h>
-#endif
 
 #include "kaluga.h"