more linux changes

[palacios.git] / linux_module / palacios-stream.c

diff --git a/linux_module/palacios-stream.c b/linux_module/palacios-stream.c
index 815a151..f49b668 100644 (file)
--- a/linux_module/palacios-stream.c
+++ b/linux_module/palacios-stream.c
@@ -120,3 +120,8 @@ void palacios_init_stream() {
 }
 
 
+void palacios_deinit_stream() {
+    if (!list_empty(&(global_streams))) {
+       printk("Error removing module with open streams\n");
+    }
+}