Re: port-powerpc/41370 (inline splx() and splraise() needs __insn_barrier())

[Manuel Bouyer <bouyer%antioche.eu.org@localhost>]

On Tue, Nov 27, 2018 at 09:10:54PM +0000, maya%NetBSD.org@localhost wrote:
> Synopsis: inline splx() and splraise() needs __insn_barrier()
> 
> State-Changed-From-To: open->feedback
> State-Changed-By: maya%NetBSD.org@localhost
> State-Changed-When: Tue, 27 Nov 2018 21:10:54 +0000
> State-Changed-Why:
> Do you think the new state is satisfactory?

Yes, AFAIK the code in pic/intr.c look correct.

-- 
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
     NetBSD: 26 ans d'experience feront toujours la difference
--