Hi Jan, On 23/11/2020 13:28, Jan Beulich wrote:
There's no need to serialize all sending of vIRQ-s; all that's needed is serialization against the closing of the respective event channels (so far by means of a barrier). To facilitate the conversion, switch to an ordinary write locked region in evtchn_close().Signed-off-by: Jan Beulich <[email protected]>
Reviewed-by: Julien Grall <[email protected]> Cheers, -- Julien Grall
