ian 8a7e63e880 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