pre-empt both user and kernel, in clock interrupt

usertest.c tests pre-emption
kill()

1 files changed, 2 insertions, 0 deletions

diff --git a/defs.h b/defs.h
index 9e10bee..6a13ad2 100644
--- a/defs.h
+++ b/defs.h
@@ -17,6 +17,8 @@ void swtch(void);
 void sleep(void *);
 void wakeup(void *);
 void scheduler(void);
+void proc_exit(void);
+void yield(void);
 
 // swtch.S
 struct jmpbuf;