diff --git a/nyx/hypercall/hypercall.c b/nyx/hypercall/hypercall.c
index 97eecab23d..3aff428734 100644
--- a/nyx/hypercall/hypercall.c
+++ b/nyx/hypercall/hypercall.c
@@ -607,7 +607,7 @@ static void handle_hypercall_kafl_kasan(struct kvm_run *run, CPUState *cpu, uint
 		} else{
 			nyx_debug_p(CORE_PREFIX, "KASAN detected during initialization of stage 1 or stage 2 loader");
 			//hypercall_snd_char(KAFL_PROTO_KASAN);
-			nyx_debug_p("Protocol - SEND: KAFL_PROTO_KASAN");
+			nyx_debug_p(CORE_PREFIX, "Protocol - SEND: KAFL_PROTO_KASAN");
 
 		}
 	}
diff --git a/nyx/nested_hypercalls.c b/nyx/nested_hypercalls.c
index 49d15a61c1..c07cd825fe 100644
--- a/nyx/nested_hypercalls.c
+++ b/nyx/nested_hypercalls.c
@@ -178,7 +178,7 @@ void handle_hypercall_kafl_nested_release(struct kvm_run *run, CPUState *cpu, ui
 	
 	return;
 	//assert(false);
-	nyx_debug_p("%s %d", __func__, init_state);
+	nyx_debug_p(CORE_PREFIX, "%s %d", __func__, init_state);
 	//sleep(10);
 
 	/* magic */
@@ -193,7 +193,7 @@ void handle_hypercall_kafl_nested_release(struct kvm_run *run, CPUState *cpu, ui
 
 		//synchronization_disable_pt(cpu);
 
-		nyx_debug_p("Protocol - SEND: KAFL_PROTO_RELEASE");
+		nyx_debug_p(CORE_PREFIX, "Protocol - SEND: KAFL_PROTO_RELEASE");
 
 	} else {
 		
@@ -206,7 +206,7 @@ void handle_hypercall_kafl_nested_release(struct kvm_run *run, CPUState *cpu, ui
 		//synchronization_disable_pt(cpu);
 
 
-		nyx_debug_p("%s UNLOCKED", __func__);
+		nyx_debug_p(CORE_PREFIX, "%s UNLOCKED", __func__);
 
 		//		printf("INTEL PT is disabled!\n");
 
@@ -217,7 +217,7 @@ void handle_hypercall_kafl_nested_release(struct kvm_run *run, CPUState *cpu, ui
 		//fast_reload_restore(get_fast_reload_snapshot());
 		qemu_mutex_unlock_iothread();
 
-		nyx_debug_p("%s UNLOCKED 2", __func__);
+		nyx_debug_p(CORE_PREFIX, "%s UNLOCKED 2", __func__);
 
 
 		//kvm_cpu_synchronize_state(cpu);