From 2337832e4cdccabff019a46b4782d310ffc841f4 Mon Sep 17 00:00:00 2001 From: Masamichi Takagi Date: Sat, 3 Mar 2018 17:04:21 +0900 Subject: [PATCH] pager_req_release(): Correct debug messages --- executer/kernel/mcctrl/syscall.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; }