On Thu, Jan 10, 2019 at 9:56 PM Stephen Boyd <sboyd@xxxxxxxxxx> wrote: > Quoting Linus Walleij (2019-01-10 04:50:56) > > Mark/Marc: is there any specific reason to why the ARM arch > > timer does not register an arch delay timer? > > Doesn't the ARM arch timer get registered in > arch/arm/kernel/arch_timer.c via arch_timer_delay_timer_register()? Ah indeed it does, OK then, this patch should be fine from that point of view. Yours, Linus Walleij
