On Wed, 2017-09-27 at 15:39 +0200, Dario Faggioli wrote: > On Wed, 2017-09-27 at 04:30 -0600, Jan Beulich wrote: > > Or wait - > > wouldn't all you need be to avoid calling stop_timer() in the > > call tree above, if the timer's expiry has passed (suitably > > explained in a comment)? > > > Yes. For the reason stated above, I addressed the problem at the > generic code level. If that doesn't fly, I'll do like this. I had > thought about that, and although I haven't tried, I think it works > for > this case. > Anyway, given the timing, I'll send a v2 of this series, where I do things as suggested above.
I may want to try again to persuade you (and others) that this needs to be changed in timer's code. But that will be for another time. :-) Thanks and Regards, Dario -- <<This happens because I choose it to happen!>> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
