On Fri, 23 Apr 2021 15:07:17 -0400 Eric Farman <farman@xxxxxxxxxxxxx> wrote: > > > > Is in your opinion the vfio-ccw kernel module data race free with > > > > this > > > > series applied? > > > > > > I have no further concerns. > > > > I take this for a "yes, in my opinion it is data race free". > > You asked about once this series is applied, which it is not. I applied this series to the then current master several days ago, so I have no problem reasoning about that state of code. It seems we had a misunderstanding. I was talking about code that is available (this series "[RFC PATCH v4] vfio-ccw: Fix interrupt handling for HALT/CLEAR"), and you were talking some future non-RFC merged incarnation of it I had no opportunity to examine at this point in time. I'm looking forward to that incarnation. And by the way, if an RFC contains problems that are intentionally not addressed, because the author wants to get feedback on some other aspect on the problem, I prefer the things that are not dealt with stated clearly. Otherwise I tend to invest time into finding the problems the author is already aware of, and telling him that his solution is not correct because of those. Regards, Halil