On Thu, 13 May 2021 14:33:20 -0400 Eric Farman <farman@xxxxxxxxxxxxx> wrote: > > > > In any case, I don't want to hold this up any further. > > > > Thanks for that. You are correct that there's still a potential issue > here, in the handoff between fsm_irq() and vfio_ccw_sch_io_todo(), and > another fsm_io_request() that would arrive between those points. But > it's not anything that we haven't already discussed, and will hopefully > begin discussing in the next couple of weeks. Thanks for all the explanations and your patience. I know, I can be difficult when I'm at discomfort due to dissonances in my mental model of a certain problem or a certain solution. Will try to carve out some time to at least have a look at those as well. Have a nice weekend! Halil
