K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-10-19T19:44:05.637468Z
K 7
svn:log
V 509
- Wrap exchanging td_intr_frame and calling the event timer callback in
  a critical section as apparently required by both. I don't think either
  belongs in the event timer front-ends but the callback should handle
  this as necessary instead just like for example intr_event_handle()
  does but this is how the other architectures currently handle it, either
  explicitly or implicitly.
- Further rename and reword references to hardclock as this front-end no
  longer has a notion of actually calling it.

END