[PATCH v2 07/11] powerpc: Annotate accesses to ipi message flags

Nicholas Piggin npiggin at gmail.com
Mon May 15 15:51:11 AEST 2023

On Wed May 10, 2023 at 1:31 PM AEST, Rohan McLure wrote:
> IPI message flags are observed and consequently consumed in the
> smp_ipi_demux_relaxed function, which handles these message sources
> until it observes none more arriving. Mark the checked loop guard with
> READ_ONCE, to signal to KCSAN that the read is known to be volatile, and
> that non-determinism is expected. Mark write for message source in
> smp_muxed_ipi_set_message().
> Signed-off-by: Rohan McLure <rmclure at linux.ibm.com>

Reviewed-by: Nicholas Piggin <npiggin at gmail.com>

More information about the Linuxppc-dev mailing list