build fixes to merge the Palacios configuration parameters with Linux parameters.

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

diff --git a/linux_module/palacios-stream.h b/linux_module/palacios-stream.h
index 7e9279f..f3b21a0 100644 (file)
--- a/linux_module/palacios-stream.h
+++ b/linux_module/palacios-stream.h
@@ -11,6 +11,10 @@
 #include "palacios.h"
 #include "palacios-ringbuffer.h"
 
+#define _V3VEE_
+//#include <palacios/vmm_ringbuffer.h>
+#undef _V3VEE_
+
 #define STREAM_BUF_SIZE 1024
 #define STREAM_NAME_LEN 128
 
@@ -27,6 +31,7 @@ struct stream_buffer {
 
 
 void palacios_init_stream(void);
+void palacios_deinit_stream(void);
 int stream_enqueue(struct stream_buffer * stream, char * buf, int len);
 int stream_dequeue(struct stream_buffer * stream, char * buf, int len);
 int stream_datalen(struct stream_buffer * stream);