ian ffd5488d68 Trivial changes/forced-commit to document previous change r264050 whose ... description was eaten by the dog (or an editor crash or something). Add variable-frequency support to the arm mpcore eventtimer driver. This allows a platform's early init code to tell the mpcore driver that the clock frequency can vary. That causes the mpcore driver to register an eventtimer, but not a timecounter. The platform has to provide a time counter using some other fixed-frequency clock, but can still use the per-cpu goodness of the mpcore hardware for event timers. When the platform support code does something to change the frequency of the CPU clocks (power saving, thermal management) it must tell the mpcore driver code about it using arm_tmr_change_frequency().		2014-04-02 18:49:50 +00:00
..
pandaboard	Remove all #include <machine/pmap.h> from arm code. It's already	2013-10-27 00:51:46 +00:00
files.omap4
omap4_l2cache.c	PL310 driver update:	2012-12-31 21:19:44 +00:00
omap4_mp.c	Move the declaration for mpentry() into a header file instead of pasting	2014-02-23 22:35:18 +00:00
omap4_prcm_clks.c	Trivial changes/forced-commit to document previous change r264050 whose	2014-04-02 18:49:50 +00:00
omap4_reg.h
omap4_scm_padconf.c	Remove #include <machine/frame.h> from all the arm code that doesn't	2013-10-27 01:34:10 +00:00
omap4_smc.h	PL310 driver update:	2012-12-31 21:19:44 +00:00
omap4var.h
std.omap4	Remove STARTUP_PAGETABLE_ADDR from the ARM configs and replace it with	2014-01-28 09:12:04 +00:00