diff options
| author | julian <julian@FreeBSD.org> | 2004-09-13 23:02:52 +0000 |
|---|---|---|
| committer | julian <julian@FreeBSD.org> | 2004-09-13 23:02:52 +0000 |
| commit | 0b88c839d555724051b01c0e9d0addecb4f57c64 (patch) | |
| tree | fc1f77a805bb10b418389426119d6b3bae795f89 /sys/kern/sched_4bsd.c | |
| parent | 53023d01b3b86e0e4af788f3ff8408b453abb8a2 (diff) | |
| download | FreeBSD-src-0b88c839d555724051b01c0e9d0addecb4f57c64.zip FreeBSD-src-0b88c839d555724051b01c0e9d0addecb4f57c64.tar.gz | |
Add some kasserts
Diffstat (limited to 'sys/kern/sched_4bsd.c')
| -rw-r--r-- | sys/kern/sched_4bsd.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/kern/sched_4bsd.c b/sys/kern/sched_4bsd.c index c1a1c6b..02c8f3c 100644 --- a/sys/kern/sched_4bsd.c +++ b/sys/kern/sched_4bsd.c @@ -794,6 +794,8 @@ sched_switch(struct thread *td, struct thread *newtd, int flags) * added to the run queue and selected. */ if (newtd) { + KASSERT((newtd->td_inhibitors == 0), + ("trying to run inhibitted thread")); newtd->td_ksegrp->kg_avail_opennings--; newtd->td_kse->ke_flags |= KEF_DIDRUN; TD_SET_RUNNING(newtd); |
