Richard Henderson 86e1a7ff92 Unify hp-timing implementations
Provide an hp-timing-common.h for ports to use.
2014-07-03 08:38:30 -07:00
..
2014-06-14 09:27:09 -07:00
2014-05-13 09:49:20 -07:00
2014-07-03 08:38:30 -07:00