Oleg Nesterov wrote:
>
> One option is to change __mod_timer() so that it would not
> switch ->base when the timer is already running. But this
> would be behavioural change: currently __mod_timer() guarantees
> that the timer would be armed on the local cpu.
Is it acceptable? If yes, I'll send the patch tomorrow.
I don't see another solution.
Oleg.
Oleg Nesterov <[email protected]> wrote:
>
> Oleg Nesterov wrote:
> >
> > One option is to change __mod_timer() so that it would not
> > switch ->base when the timer is already running. But this
> > would be behavioural change: currently __mod_timer() guarantees
> > that the timer would be armed on the local cpu.
>
> Is it acceptable? If yes, I'll send the patch tomorrow.
>
> I don't see another solution.
I don't see how it could cause any harm.