Marc Zyngier c6f97add0f arm64: Use arch_timer_get_rate when trapping CNTFRQ_EL0
In an ideal world, CNTFRQ_EL0 always contains the timer frequency
for the kernel to use. Sadly, we get quite a few broken systems
where the firmware authors cannot be bothered to program that
register on all CPUs, and rely on DT to provide that frequency.

So when trapping CNTFRQ_EL0, make sure to return the actual rate
(as known by the kernel), and not CNTFRQ_EL0.

Acked-by: Mark Rutland <mark.rutland@arm.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>
2017-08-01 12:14:06 +01:00
..
2017-05-30 11:07:41 +01:00
2017-03-28 18:23:24 -04:00
2016-06-27 16:31:25 +01:00
2017-06-05 17:50:44 +02:00
2016-05-16 17:17:24 -07:00
2017-07-05 17:09:27 -07:00
2017-07-08 15:51:57 -07:00
2016-04-20 12:22:42 +01:00
2017-07-05 17:09:27 -07:00