[PATCH 0/2] Allow relaxed MMIO writes in device IPI callbacks

[Anup Patel]

This series improves the barrier usage around device IPI callbacks
such that platform IPI driver can now use relaxed MMIO writes in
device IPI callbacks.

These patches can also be found in the sbi_ipi_barrier_imp_v1 branch
at: https://github.com/avpatel/opensbi.git

Anup Patel (2):
  lib: sbi: Allow relaxed MMIO writes in device ipi_send() callback
  lib: sbi: Allow relaxed MMIO writes in device ipi_clear() callback

 lib/sbi/sbi_ipi.c           | 31 +++++++++++++++++++++++++------
 lib/utils/ipi/aclint_mswi.c |  4 ++--
 lib/utils/irqchip/imsic.c   |  4 ++--
 3 files changed, 29 insertions(+), 10 deletions(-)

-- 
2.34.1