diff --git a/kernel/syscall.c b/kernel/syscall.c
index 5b997f31..d218de90 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -788,7 +788,7 @@ interrupt_syscall(int pid, int cpuid)
 
 	lerror = syscall_generic_forwarding(__NR_kill, &ctx);
 	if (lerror) {
-		kprintf("clear_host_pte failed. %ld\n", lerror);
+		kprintf("interrupt_syscall failed. %ld\n", lerror);
 	}
 	return;
 }