If the scheduler clock cannot call bsd4_resetpriority() due to spinlock
authorMatthew Dillon <dillon@dragonflybsd.org>
Thu, 1 Jun 2006 16:49:59 +0000 (16:49 +0000)
committerMatthew Dillon <dillon@dragonflybsd.org>
Thu, 1 Jun 2006 16:49:59 +0000 (16:49 +0000)
commit5681a38a143abed92e34c4f4fdbdd54e6870592e
tree3cee0e5f63dd2091e62a3fe5af756a26d0f26e28
parent70aac194af9ca1c170324e666bf9b6864680c04c
If the scheduler clock cannot call bsd4_resetpriority() due to spinlock
requirements, at least call need_user_resched().
sys/kern/kern_clock.c
sys/kern/usched_bsd4.c