On 22.05.2025 09:54, Roger Pau Monne wrote: > The IPI dispatch functions should already have the required barriers to > ensure correct memory ordering.
To be quite honest, "should" isn't sufficient here for my taste. Either they are there or they aren't. According to my check they are, so ... > Note other callers of send_IPI_mask() don't use any barriers. > > Reported-by: Andrew Cooper <andrew.coop...@citrix.com> > Signed-off-by: Roger Pau Monné <roger....@citrix.com> Reviewed-by: Jan Beulich <jbeul...@suse.com> with the word dropped. Jan
