Re: [PATCH] drivers/sgi-xp: Convert timers to use timer_setup()

[Robin Holt]

On Tue, Oct 24, 2017 at 5:23 AM, Kees Cook <keesc...@chromium.org> wrote:
...
> Cc: Robin Holt <robinmh...@gmail.com>
Acked-by: Robin Holt <robinmh...@gmail.com>