Tomas Hruby bed9e48c12 APIC timer needs rearming before halting the cpu ...

- time stops if there is no activity and the timer expired before
  we halted the cpu

- restart_local_timer() checks if the timer has expired and if so it
  restarts it

- we do the same when switching back to userspace

2011-05-11 11:54:23 +02:00

54 KiB

Raw Blame History

View Raw