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

From: Robin Holt
Date: Fri Oct 27 2017 - 12:14:03 EST


On Tue, Oct 24, 2017 at 5:23 AM, Kees Cook <keescook@xxxxxxxxxxxx> wrote:
...
> Cc: Robin Holt <robinmholt@xxxxxxxxx>
Acked-by: Robin Holt <robinmholt@xxxxxxxxx>