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
..
2011-05-04 18:51:43 +02:00
2011-04-26 23:28:23 +02:00
2011-04-26 23:28:23 +02:00
2011-01-28 11:35:02 +00:00
2011-05-04 18:51:43 +02:00
2011-05-04 18:51:43 +02:00
2011-04-26 23:28:23 +02:00
2011-02-26 23:00:55 +00:00
2011-04-26 23:28:23 +02:00
2011-04-26 23:28:23 +02:00
2011-04-26 23:28:23 +02:00
2011-05-04 18:51:43 +02:00
2011-05-04 18:51:43 +02:00