Stefan Lankes 27e652f81d if a task exists with a higher priority, we start a rescheduling in check_workqueues.		2011-09-02 13:57:11 -07:00
..
x86	if a task exists with a higher priority, we start a rescheduling in check_workqueues.	2011-09-02 13:57:11 -07:00