From b3c7676425f5dc2ddb87e7383aa2e84cadf2c5df Mon Sep 17 00:00:00 2001 From: Naoki Hamada Date: Tue, 1 Jul 2014 19:03:50 +0900 Subject: [PATCH] Minor change. modified: syscall.c --- executer/kernel/syscall.c | 1 + 1 file changed, 1 insertion(+) diff --git a/executer/kernel/syscall.c b/executer/kernel/syscall.c index f9a8aa4d..b941535d 100644 --- a/executer/kernel/syscall.c +++ b/executer/kernel/syscall.c @@ -1274,6 +1274,7 @@ int __do_in_kernel_syscall(ihk_os_t os, struct mcctrl_channel *c, struct syscall ret = file->f_op->write(file, pt, size, &file->f_pos); if (ret != len) { dprintk("core file write failed(%d).\n", ret); + break; } ihk_device_unmap_virtual(ihk_os_to_dev(os), pt, PAGE_SIZE); ihk_device_unmap_memory(ihk_os_to_dev(os), phys, PAGE_SIZE);