X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_queue.c;h=cd06790de68721178040cd31529828f3726f6dc9;hb=4381d301f8bdb373db95231264bd5d0e34b04ec8;hp=da5176ab189e9e09abeb6286715ea15b299ad68d;hpb=7246e098eaeb10934569dd4c6ef12753a1637351;p=palacios.git

diff --git a/palacios/src/palacios/vmm_queue.c b/palacios/src/palacios/vmm_queue.c
index da5176a..cd06790 100644
--- a/palacios/src/palacios/vmm_queue.c
+++ b/palacios/src/palacios/vmm_queue.c
@@ -1,20 +1,24 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #include <palacios/vmm_queue.h>
 
 
 
-void init_queue(struct gen_queue * queue) {
+void v3_init_queue(struct gen_queue * queue) {
   queue->num_entries = 0;
   INIT_LIST_HEAD(&(queue->entries));
 }
 
 
-struct gen_queue * create_queue() {
+struct gen_queue * v3_create_queue() {
   struct gen_queue * tmp_queue = V3_Malloc(sizeof(struct gen_queue));
-  init_queue(tmp_queue);
+  v3_init_queue(tmp_queue);
   return tmp_queue;
 }
 
-void enqueue(struct gen_queue * queue, addr_t entry) {
+void v3_enqueue(struct gen_queue * queue, addr_t entry) {
   struct queue_entry * q_entry = V3_Malloc(sizeof(struct queue_entry));
 
   q_entry->entry = entry;
@@ -23,7 +27,7 @@ void enqueue(struct gen_queue * queue, addr_t entry) {
 }
 
 
-addr_t dequeue(struct gen_queue * queue) {
+addr_t v3_dequeue(struct gen_queue * queue) {
   addr_t entry_val = 0;
 
   if (!list_empty(&(queue->entries))) {