K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2008-05-23T19:53:50.000000Z
K 7
svn:log
V 128
Account for IPI_PREEMPT. We don't want to call sched_preempt() with
interrupts disabled or with td_intr_nesting_level non-zero.

END