remote_page_fault: Retry when interrupted

Change-Id: Ib71a87ad03420e1918dc97da43351cb93e7d0754
2018-09-03 14:02:15 +09:00
parent f127dfdf1e
commit 82914c6a2e
1 changed files with 7 additions and 1 deletions
--- a/executer/kernel/mcctrl/syscall.c
+++ b/executer/kernel/mcctrl/syscall.c
@ -542,7 +542,13 @@ retry_alloc:
 				__FUNCTION__, task_pid_vnr(current), fault_addr);
 		/* wait for response */
 		error = wait_event_interruptible(wqhln->wq_syscall, wqhln->req);
-		
+
+		/* Delay signal handling */
+		if (error == -ERESTARTSYS) {
+			printk("%s: INFO: interrupted by signal\n", __FUNCTION__);
+			continue;
+		}
+
 		/* Remove per-thread wait queue head */
 		irqflags = ihk_ikc_spinlock_lock(&ppd->wq_list_lock);
 		list_del(&wqhln->list);