[PATCH] arm64: vdso: Use __arch_counter_get_cntvct()

[Will Deacon]

On Mon, 07 Apr 2025 04:33:25 -0700, Breno Leitao wrote:
> While reading how `cntvct_el0` was read in the kernel, I found that
> __arch_get_hw_counter() is doing something very similar to what
> __arch_counter_get_cntvct() is already doing.
> 
> Use the existing __arch_counter_get_cntvct() function instead of
> duplicating similar inline assembly code in __arch_get_hw_counter().
> 
> [...]

Applied to arm64 (for-next/vdso), thanks!

[1/1] arm64: vdso: Use __arch_counter_get_cntvct()
      https://git.kernel.org/arm64/c/00b39d150986

Cheers,
-- 
Will

https://fixes.arm64.dev
https://next.arm64.dev
https://will.arm64.dev