On 25.09.2020 18:00, Julien Grall wrote: > On 25/09/2020 16:36, Jan Beulich wrote: >> Plus, as said, the minimal change of making Flask >> avoid xmalloc() when IRQs are off is a change that ought to be made >> anyway imo, in order to favor proper functioning over performance. > If there are other use, then yes. What I don't like in the current > approach is we are hijacking xsm_event_send() for pre-allocating memory.
I first had a designated function for this, but the need to wire this through ops, dummy.h, etc made me pretty quickly turn to this lower churn variant. But that other one hasn't been ruled out if the "hijacking" is deemed too bad. Jan
