X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_queue.h;h=6135ab0498d0e2786c8682b5d335bb9a14177ada;hb=de5c2110458436a9300aa0a171dbbe83e415ee4d;hp=811f19d723909dedb5216043d0f7949627eb6011;hpb=43cf194456fcf1cc7bf4850aa0200a50e7a27920;p=palacios.releases.git

diff --git a/palacios/include/palacios/vmm_queue.h b/palacios/include/palacios/vmm_queue.h
index 811f19d..6135ab0 100644
--- a/palacios/include/palacios/vmm_queue.h
+++ b/palacios/include/palacios/vmm_queue.h
@@ -45,6 +45,7 @@ struct v3_queue {
 
 struct v3_queue * v3_create_queue();
 void v3_init_queue(struct v3_queue * queue);
+void v3_deinit_queue(struct v3_queue * queue);
 
 void v3_enqueue(struct v3_queue * queue, addr_t entry);
 addr_t v3_dequeue(struct v3_queue * queue);