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 <[email protected]> > Signed-off-by: Roger Pau Monné <[email protected]> Reviewed-by: Jan Beulich <[email protected]> with the word dropped. Jan
