Stefan Lankes c6339bfd2d by leaving the interrupt handler, we check if an urgent task is ready ... if yes, the kernel switchs to this task		2011-09-06 06:46:52 -07:00
..
x86	by leaving the interrupt handler, we check if an urgent task is ready	2011-09-06 06:46:52 -07:00