X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2Fext_sched_edf.c;h=7b7c108d817722f9f849d83aea28ff4f93ed7bbf;hb=2282a040e60b24d3fb7c48bb197c5bff6636df67;hp=7694e3cbe6061577a14f88b828b4732c6a9e6074;hpb=aeb2dd5e0468a94dd992a21d9e6e8ac5b925d2e6;p=palacios.git

diff --git a/palacios/src/extensions/ext_sched_edf.c b/palacios/src/extensions/ext_sched_edf.c
index 7694e3c..7b7c108 100644
--- a/palacios/src/extensions/ext_sched_edf.c
+++ b/palacios/src/extensions/ext_sched_edf.c
@@ -595,7 +595,7 @@ delete_core_edf( struct vm_core_edf_sched *core_edf  , struct vm_edf_rq *runqueu
 	    return true;
         }
 	else{
-	    PrintError(core->info->vm_info, core->info,"EDF Sched. delete_core_edf.Attempted to erase unexisting core");
+	    PrintError(VM_NONE,VCORE_NONE,"EDF Sched. delete_core_edf.Attempted to erase unexisting core");
             return false;
         }
 }