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
..
bcm2835	Use simple fixed name strings for these timecounters and eventimers which	2015-08-14 16:48:07 +00:00