From 975f3b31d3fac2c271df3107263df6ae454a98be Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Thu, 11 Aug 2022 07:23:17 -0400
Subject: Clean up using killed()

---
 kernel/sysproc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/sysproc.c')

diff --git a/kernel/sysproc.c b/kernel/sysproc.c
index 61b715b..99a36a7 100644
--- a/kernel/sysproc.c
+++ b/kernel/sysproc.c
@@ -63,7 +63,7 @@ sys_sleep(void)
   acquire(&tickslock);
   ticks0 = ticks;
   while(ticks - ticks0 < n){
-    if(__sync_add_and_fetch(&(myproc()->killed), 0)){
+    if(killed(myproc())){
       release(&tickslock);
       return -1;
     }
-- 
cgit v1.2.3