On Thursday 14 April 2016 03:02 PM, Marc Zyngier wrote: >> This is clocksource, not clockevent. cs needs to synchronized across all cores so >> > that concurrent gtod call from threads on different cores gives you similar >> > values. This obviously is not true for the local RTC hardware timer. > Unsynchronized counters on SMP HW, who would have thought! ;-) I guess > each and every architecture has to repeat the same mistakes. Not really - hardware wise the SMP support is pretty recent and before that we only had UP cores. So transition from 32 TIMER1 to 64 bit RTC was only a natural progression in improvements and in theory SoC guys throw in this local timer into the config. We just prevent SMP linux from using it.
