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
..
earm	arm:ensure read_tsc_64 always returns a valid value.	2013-09-27 11:29:04 +02:00
i386	VMWare poweroff magic cli;hlt sequence	2013-08-11 23:55:43 +02:00