k1om-release: fixing missing headers
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jun 2015 10:07:15 +0000 (12:07 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jun 2015 10:09:31 +0000 (12:09 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

lib/dma/dma_bench.c
usr/bench/dma/dma_bench.c
usr/bench/xeon_phi_ump/common.c
usr/bench/xeon_phi_ump/main_card.c
usr/bench/xeon_phi_ump/main_inter_card.c
usr/bench/xomp_bench/work_bench.c
usr/drivers/xeon_phi/main_card.c
usr/tests/xeon_phi_test/main_card.c
usr/tests/xeon_phi_test/main_inter_card.c
usr/tests/xeon_phi_test/nameservice_test.c

index 88f4613..77828d8 100644 (file)
@@ -11,6 +11,7 @@
 #include <stdio.h>
 
 #include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
 #include <barrelfish/sys_debug.h>
 #include <bench/bench.h>
 #include <xeon_phi/xeon_phi.h>
index 8a803da..ee63d53 100644 (file)
@@ -13,6 +13,7 @@
 #include <string.h>
 
 #include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
 #include <barrelfish/waitset.h>
 #include <barrelfish/nameservice_client.h>
 #include <bench/bench.h>
index f44f513..9167ffd 100644 (file)
@@ -12,6 +12,7 @@
 #include <limits.h>
 
 #include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
 #include <barrelfish/ump_chan.h>
 #include <bench/bench.h>
 #include <xeon_phi/xeon_phi.h>
index 08fcc79..3b14a14 100644 (file)
@@ -6,13 +6,14 @@
  * If you do not find this file, copies can be found by writing to:
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
-#include <barrelfish/barrelfish.h>
-
 
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 
+#include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
+
 #include <xeon_phi/xeon_phi.h>
 #include <xeon_phi/xeon_phi_client.h>
 
index 81bccff..a337241 100644 (file)
@@ -6,12 +6,14 @@
  * If you do not find this file, copies can be found by writing to:
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
-#include <barrelfish/barrelfish.h>
 
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 
+#include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
+
 #include <xeon_phi/xeon_phi.h>
 #include <xeon_phi/xeon_phi_client.h>
 #include <xeon_phi/xeon_phi_domain.h>
index 293ce1e..4f2f4ba 100644 (file)
@@ -13,6 +13,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/nameservice_client.h>
+#include <barrelfish/dispatch.h>
 
 #include <xeon_phi/xeon_phi.h>
 #include <xeon_phi/xeon_phi_domain.h>
index 94241fa..cb39314 100644 (file)
@@ -15,6 +15,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
 #include <barrelfish/waitset.h>
 #include <barrelfish/nameservice_client.h>
 
index c293def..9cb4384 100644 (file)
@@ -6,13 +6,15 @@
  * If you do not find this file, copies can be found by writing to:
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
-#include <barrelfish/barrelfish.h>
-#include <barrelfish/ump_chan.h>
 
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 
+#include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
+#include <barrelfish/ump_chan.h>
+
 #include <dma/xeon_phi/xeon_phi_dma.h>
 #include <dma/dma_request.h>
 #include <dma/client/dma_client_device.h>
index 059251b..6fda5da 100644 (file)
@@ -6,13 +6,15 @@
  * If you do not find this file, copies can be found by writing to:
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
-#include <barrelfish/barrelfish.h>
-#include <barrelfish/ump_chan.h>
 
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 
+#include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
+#include <barrelfish/ump_chan.h>
+
 #include <dma/xeon_phi/xeon_phi_dma.h>
 #include <dma/dma_request.h>
 #include <dma/client/dma_client_device.h>
index 1cc887b..597426e 100644 (file)
@@ -6,13 +6,15 @@
  * If you do not find this file, copies can be found by writing to:
  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
  */
-#include <barrelfish/barrelfish.h>
-#include <barrelfish/ump_chan.h>
 
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
 
+#include <barrelfish/barrelfish.h>
+#include <barrelfish/dispatch.h>
+#include <barrelfish/ump_chan.h>
+
 #include <xeon_phi/xeon_phi.h>
 #include <xeon_phi/xeon_phi_domain.h>