Julian Harnath ad64943039 Fix spinlock usage in kernel's system profiling
* Removal of gSchedulerLock left a few SpinLockers around which were
  now without locked interrupts.

* Makes scheduling_recorder work again.
2014-02-26 23:08:41 +00:00
..
2014-02-11 12:06:38 +01:00
2014-01-17 04:06:15 +01:00