Context-based output infrastructure (V3_Print, etc) and modifications to use it

[palacios.git] / palacios / src / palacios / vmm_queue.c

diff --git a/palacios/src/palacios/vmm_queue.c b/palacios/src/palacios/vmm_queue.c
index 5414ce9..a4b5144 100644 (file)
--- a/palacios/src/palacios/vmm_queue.c
+++ b/palacios/src/palacios/vmm_queue.c
@@ -32,7 +32,7 @@ struct v3_queue * v3_create_queue() {
     struct v3_queue * tmp_queue = V3_Malloc(sizeof(struct v3_queue));
 
     if (!tmp_queue) {
-       PrintError("Cannot allocate a queue\n");
+        PrintError(VM_NONE, VCORE_NONE,"Cannot allocate a queue\n");
        return NULL;
     }
 
@@ -42,7 +42,7 @@ struct v3_queue * v3_create_queue() {
 
 void v3_deinit_queue(struct v3_queue * queue) {
     while (v3_dequeue(queue)) {
-       PrintError("ERROR: Freeing non-empty queue. PROBABLE MEMORY LEAK DETECTED\n");
+       PrintError(VM_NONE, VCORE_NONE,"ERROR: Freeing non-empty queue. PROBABLE MEMORY LEAK DETECTED\n");
     }
 
     v3_lock_deinit(&(queue->lock));
@@ -56,7 +56,7 @@ void v3_enqueue(struct v3_queue * queue, addr_t entry) {
     unsigned int flags = 0;
 
     if (!q_entry) {
-       PrintError("Cannot allocate a queue entry for enqueue\n");
+       PrintError(VM_NONE, VCORE_NONE,"Cannot allocate a queue entry for enqueue\n");
        return ;
     }