Mark Rutland 0d651e4e65 clocksource: arch_timer: use virtual counters %!s(int64=13) %!d(string=hai) anos
..
arm_arch_timer.h 0d651e4e65 clocksource: arch_timer: use virtual counters %!s(int64=12) %!d(string=hai) anos
metag_generic.h a2c5d4ed92 metag: Time keeping %!s(int64=13) %!d(string=hai) anos
samsung_pwm.h f9bb48a2c2 clocksource: samsung_pwm_timer: Add support for non-DT platforms %!s(int64=12) %!d(string=hai) anos