diff --git a/executer/kernel/mcctrl/syscall.c b/executer/kernel/mcctrl/syscall.c
index 684d0ecb..1e81029f 100644
--- a/executer/kernel/mcctrl/syscall.c
+++ b/executer/kernel/mcctrl/syscall.c
@@ -1290,7 +1290,7 @@ static int pager_req_release(ihk_os_t os, uintptr_t handle, int unref)
 	spin_unlock_irqrestore(&pager_lock, flags);
 
 	if (error) {
-		printk("pager_req_relase(%p,%lx,%d):pager not found. %d\n", os, handle, unref, error);
+		printk("pager_req_release(%p,%lx,%d):pager not found. %d\n", os, handle, unref, error);
 		goto out;
 	}
 
@@ -1306,7 +1306,7 @@ static int pager_req_release(ihk_os_t os, uintptr_t handle, int unref)
 
 	error = 0;
 out:
-	dprintk("pager_req_relase(%p,%lx,%d): %d\n", os, handle, unref, error);
+	dprintk("pager_req_release(%p,%lx,%d): %d\n", os, handle, unref, error);
 	return error;
 }