When using the arm_global_timer as source for ipipe_tsc the mask was configured with 32 Bit. However this timer is a native 64 Bit counter. So use the complete hardware register by configuring a 64 Bit mask on initialization. The ipipe_tsc implementation is already 64 Bit ready and reads this register as described in the reference manual, so no further changes needed.
Signed-off-by: Gunter Grau <[email protected]> --- drivers/clocksource/arm_global_timer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/clocksource/arm_global_timer.c b/drivers/clocksource/arm_global_timer.c index 77c116a3e85f..44c10e364f62 100644 --- a/drivers/clocksource/arm_global_timer.c +++ b/drivers/clocksource/arm_global_timer.c @@ -82,7 +82,7 @@ static inline void gt_ipipe_cs_setup(void) .u = { { .counter_paddr = gt_pbase, - .mask = 0xffffffff, + .mask = CLOCKSOURCE_MASK(64), } }, .refresh_freq = refresh_gt_freq, -- 2.17.1 ________________________________ The information contained in this message may be confidential and legally protected under applicable law. The message is intended solely for the addressee(s). If you are not the intended recipient, you are hereby notified that any use, forwarding, dissemination, or reproduction of this message is strictly prohibited and may be unlawful. If you are not the intended recipient, please contact the sender by return e-mail and destroy all copies of the original message.
