- 10 millisecond is hardcoded at many places, maybe it would be better to
use 'tick' (eg. i frequently use 1000 Hz timer interrupts, when
profiling).
- do you think this patch could be somehow integrated into Finn Gangstad's
new and very fast timers implementation? [added in 2.1.24, backported
to 2.0 in pre-2.0.30].
- it might be a good idea to make the patch 'seemless', say through a
CONFIG_ option. add_timer() is called very often and dynamic checking is
not quite acceptable there.
-- mingo