destroy_thread(): disable IRQ while holding update lock

2017-06-08 17:40:35 +09:00
parent 66fad4c7a4
commit 4d0e0728f4
2 changed files with 4 additions and 4 deletions
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@ -307,7 +307,7 @@ long do_syscall(struct syscall_request *req, int cpu, int pid)
 		kprintf("%s: proxy PID %d is dead, terminate()\n",
 			__FUNCTION__, thread->proc->pid);
 		thread->proc->nohost = 1;
-		terminate(-1, 0);
+		terminate(0, SIGKILL);
 	}

 #ifdef PROFILE_ENABLE