1 files changed, 5 insertions, 0 deletions
diff --git a/proc.c b/proc.c
index 37fd768..e48f1ca 100644
--- a/proc.c
+++ b/proc.c
@@ -207,6 +207,11 @@ sched(void)
 {
   struct proc *p = curproc[cpu()];
 
+  if(!holding(&proc_table_lock))
+    panic("sched");
+  if(cpus[cpu()].nlock != 1)
+    panic("sched locks");
+
   if(setjmp(&p->jmpbuf) == 0)
     longjmp(&cpus[cpu()].jmpbuf);
 }