DeviceQueue: renamed include/devif/sfn5122f_devif_direct.h

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

diff --git a/include/devif/sfn5122f_devif_direct.h b/include/devif/sfn5122f_devif.h
similarity index 100%
rename from include/devif/sfn5122f_devif_direct.h
rename to include/devif/sfn5122f_devif.h

diff --git a/usr/drivers/solarflare/sfn5122f_devif_direct.c b/usr/drivers/solarflare/sfn5122f_devif_direct.c
index 9b65b4b..bd7dc74 100644 (file)
--- a/usr/drivers/solarflare/sfn5122f_devif_direct.c
+++ b/usr/drivers/solarflare/sfn5122f_devif_direct.c
@@ -9,12 +9,11 @@
 
 #include <stdlib.h>
 #include <stdio.h>
-#include <time.h>
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/waitset.h>
 #include <barrelfish/nameservice_client.h>
 #include <devif/queue_interface.h>
-#include <devif/sfn5122f_devif_direct.h>
+#include <devif/sfn5122f_devif.h>
 #include <if/sfn5122f_devif_defs.h>
 #include <if/sfn5122f_devif_rpcclient_defs.h>
 #include "sfn5122f.h"

diff --git a/usr/tests/devif/queue_interface.c b/usr/tests/devif/queue_interface.c
index 22a7e78..206a88c 100644 (file)
--- a/usr/tests/devif/queue_interface.c
+++ b/usr/tests/devif/queue_interface.c
@@ -14,7 +14,7 @@
 #include <barrelfish/waitset.h>
 #include <barrelfish/deferred.h>
 #include <devif/queue_interface.h>
-#include <devif/sfn5122f_devif_direct.h>
+#include <devif/sfn5122f_devif.h>
 
 
 //#define TEST_FORWARD