diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2008-11-06 19:19:05 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2008-11-06 19:19:05 +0000 |
| commit | a8139547a3490db38e5748d5d85ad933975a56b2 (patch) | |
| tree | 9f83edb997d63942323172ff4672b5d57ea59867 /sys/kern/kern_sched.c | |
| parent | 4d2195ad4509e8dd88e2469b7f22a06dbfaf954a (diff) | |
panic if cpu_switchto() returns from a dead process
Diffstat (limited to 'sys/kern/kern_sched.c')
| -rw-r--r-- | sys/kern/kern_sched.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/kern/kern_sched.c b/sys/kern/kern_sched.c index 51b4c59f8ad..73fee36b655 100644 --- a/sys/kern/kern_sched.c +++ b/sys/kern/kern_sched.c @@ -1,4 +1,4 @@ -/* $OpenBSD: kern_sched.c,v 1.6 2008/06/12 06:58:39 deraadt Exp $ */ +/* $OpenBSD: kern_sched.c,v 1.7 2008/11/06 19:19:04 deraadt Exp $ */ /* * Copyright (c) 2007 Artur Grabowski <art@openbsd.org> * @@ -155,6 +155,7 @@ sched_exit(struct proc *p) idle = spc->spc_idleproc; idle->p_stat = SRUN; cpu_switchto(NULL, idle); + panic("cpu_switchto returned); } /* |