Supporting variable-frequency event timers

[Ian Lepore]

Increasingly, ARM systems are using techniques such as dynamic voltage
and frequency scaling (DVFS) to save power.  Sometimes the frequency
changes affect the clocks being used as event timers.  I'd like to
commit the attached patch which allows an event timer driver to call
et_change_frequency() to reconfigure the timer (if it's the active one)
on all CPUs when the frequency changes.

-- Ian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: eventtimer_varfreq.diff
Type: text/x-patch
Size: 2666 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-arch/attachments/20140327/2df9c500/attachment.bin>