Stefan Lankes ba1cbc97c8 on a SMP system, only the boot processor increases the timer value		2011-07-18 09:10:23 +02:00
..
x86	on a SMP system, only the boot processor increases the timer value	2011-07-18 09:10:23 +02:00