diff --git a/kernel/syscall.c b/kernel/syscall.c
index ab1d7c71..e0d4a966 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -483,7 +483,7 @@ long do_syscall(struct syscall_request *req, int cpu, int pid)
 	/* -ERESTARTSYS indicates that the proxy process is gone
 	 * and the application should be terminated */
 	if (rc == -ERESTARTSYS) {
-		kprintf("%s: proxy PID %d is dead, terminate()\n",
+		dkprintf("%s: proxy PID %d is dead, terminate()\n",
 			__FUNCTION__, thread->proc->pid);
 		thread->proc->nohost = 1;
 	}