powerpc: Annotate accesses to ipi message flags
authorRohan McLure <rmclure@linux.ibm.com>
Wed, 10 May 2023 03:31:13 +0000 (13:31 +1000)
committerMichael Ellerman <mpe@ellerman.id.au>
Wed, 21 Jun 2023 05:13:57 +0000 (15:13 +1000)
commit8608f14b49a0a3f8644a326d32dc1bf7ed78836a
tree23039e9ef5b15191f0495689b247adad846e8b27
parentb0c5b4f1ee3687c57dab65ac0729a4d61967f032
powerpc: Annotate accesses to ipi message flags

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@linux.ibm.com>
Reviewed-by: Nicholas Piggin <npiggin@gmail.com>
Signed-off-by: Michael Ellerman <mpe@ellerman.id.au>
Link: https://msgid.link/20230510033117.1395895-8-rmclure@linux.ibm.com
arch/powerpc/kernel/smp.c