Marcel Moolenaar 2cddc3d722 Account for IPI_PREEMPT. We don't want to call sched_preempt() with
interrupts disabled or with td_intr_nesting_level non-zero.
2008-05-23 19:53:50 +00:00
..
2008-05-19 02:13:50 +00:00
2008-01-15 18:34:47 +00:00
2008-05-22 09:14:12 +00:00
2008-02-23 22:40:05 +00:00
2008-05-22 21:53:15 +00:00
2008-05-21 07:56:10 +00:00