Ian Lepore 46d49ed78e Use simple fixed name strings for these timecounters and eventimers which ... are tied to fixed pieces of hardware; dynamic string formatting isn't needed.		2015-08-14 16:48:07 +00:00
..
files.versatile	Build the cpufunc_asm_* files based on the cpu type, not which config file	2015-03-29 22:43:39 +00:00
pl050.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
sp804.c	Use simple fixed name strings for these timecounters and eventimers which	2015-08-14 16:48:07 +00:00
versatile_clcd.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
versatile_common.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00
versatile_machdep.c
versatile_pci.c	Include vm/pmap.h for pmap_kextract.	2015-04-04 23:03:11 +00:00
versatile_sic.c
versatile_timer.c	Stop using machine/fdt.h in the arm kernel code when we don't need it.	2015-04-04 21:34:26 +00:00