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

[Bo Gan]

On 11/21/23 8:17 AM, Anup Patel wrote:
> 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(-)
> 
Hi Anup,

Thank you so much for fixing this. I hope my previous discussion helped.
Would you mind having a Reported-by: Bo Gan <ganboing at gmail.com> ?
Really appreciate you helping me understand the code.

Bo