[PATCH v4a 03/38] clocksource/drivers/arm_arch_timer: Do not use timer namespace for timer_shutdown() function

[Steven Rostedt]

On Sat, 5 Nov 2022 07:07:13 -0700
Guenter Roeck <linux at roeck-us.net> wrote:

> Same nitpick as Marc (arch_timer_shutdown), but this is POV, so
> 
> Reviewed-by: Guenter Roeck <linux at roeck-us.net>

Yeah, makes sense. I can update this patch.

-- Steve