Kees Jongenburger
ed45d98dac
arm:ensure read_tsc_64 always returns a valid value.
...
Before this change overflowing the free running clock counter
between the time the timer was read and the time the overflow
check was done resulted in read_tsc_64 returning a to high value.
Change-Id: I1022f271213647f720477c4121d45f0c965456c6
2013-09-27 11:29:04 +02:00
..
2013-09-26 11:54:36 +02:00
2013-08-07 12:35:53 +00:00
2013-01-17 10:03:58 +01:00
2013-08-27 16:16:03 +00:00
2013-08-28 12:53:05 -04:00
2013-08-06 11:43:35 +02:00
2013-08-29 09:23:10 -04:00
2013-01-17 10:03:58 +01:00
2013-05-21 15:05:06 +02:00
2013-01-17 10:03:58 +01:00
2013-01-17 10:03:58 +01:00
2013-06-11 22:51:02 +02:00
2013-02-18 09:07:55 +01:00
2013-08-29 09:23:10 -04:00
2013-09-26 11:54:36 +02:00
2013-06-25 09:53:15 +00:00
2013-01-17 10:03:58 +01:00
2013-08-27 16:16:03 +00:00
2013-05-24 13:59:04 +02:00
2013-09-01 12:59:37 +00:00
2013-08-28 12:53:05 -04:00
2013-08-27 16:16:03 +00:00
2013-08-05 10:23:00 -04:00
2013-09-01 12:59:37 +00:00
2013-08-05 10:22:59 -04:00
2013-08-27 16:16:03 +00:00
2013-05-24 11:17:52 +02:00
2013-05-24 14:03:14 +02:00
2013-09-27 11:29:04 +02:00
2013-01-31 15:19:11 +00:00
2013-09-26 12:11:29 +02:00
2013-01-17 10:03:58 +01:00
2013-01-17 10:03:58 +01:00
2013-09-26 12:11:29 +02:00
2013-01-17 10:03:58 +01:00
2013-04-24 10:18:16 +00:00
2013-01-17 10:03:58 +01:00
2013-01-17 10:03:58 +01:00
2013-01-17 10:03:58 +01:00