X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Futil-queue.c;h=0dba00b8c8a794f4d4e737500882713694f5cc32;hb=ed88df2e8e304ac4b391521d47c192127ad9bc5a;hp=249b0341acc63984d3a601994f4381e843640897;hpb=5c2a2684778fa080c41a0f04518721ebe476efb1;p=palacios.git

diff --git a/linux_module/util-queue.c b/linux_module/util-queue.c
index 249b034..0dba00b 100644
--- a/linux_module/util-queue.c
+++ b/linux_module/util-queue.c
@@ -20,6 +20,7 @@ void deinit_queue(struct gen_queue * queue) {
     while (dequeue(queue)) {
 	ERROR("Freeing non-empty queue. PROBABLE MEMORY LEAK DETECTED\n");
     }
+    palacios_spinlock_deinit(&(queue->lock));
 }
 
 struct gen_queue * create_queue(unsigned int max_entries) {