Stefan Lankes da8b078184 align timer_ticks to a cache line		2011-07-18 09:32:52 +02:00
..
x86	align timer_ticks to a cache line	2011-07-18 09:32:52 +02:00