X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Futil-queue.h;h=2a60d9a88e348071f5a4b61589b682f8c91876b5;hb=d0aa5bd27c22a33f04f47363910f9773fdeab7eb;hp=d4c8dddc2627b767d367b4b00606bf3a5260bd3b;hpb=1d5e0fcea2007c9f068cded1e98d17c80a306a19;p=palacios.git

diff --git a/linux_module/util-queue.h b/linux_module/util-queue.h
index d4c8ddd..2a60d9a 100644
--- a/linux_module/util-queue.h
+++ b/linux_module/util-queue.h
@@ -7,12 +7,14 @@
 #define __PALACIOS_QUEUE_H__
 
 
+#include "palacios.h"
 
 #include <linux/list.h>
 #include <linux/spinlock.h>
 
 
 
+
 struct queue_entry {
     void * entry;
     struct list_head node;
@@ -29,6 +31,8 @@ struct gen_queue {
 
 struct gen_queue * create_queue(unsigned int max_entries);
 void init_queue(struct gen_queue * queue, unsigned int max_entries);
+void deinit_queue(struct gen_queue * queue);
+
 
 int enqueue(struct gen_queue * queue, void * entry);
 void * dequeue(struct gen_queue * queue);