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

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

The following reply was made to PR port-powerpc/41370; it has been noted by GNATS.

From: Manuel Bouyer <bouyer%antioche.eu.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: port-powerpc-maintainer%netbsd.org@localhost, netbsd-bugs%netbsd.org@localhost,
        gnats-admin%netbsd.org@localhost, maya%NetBSD.org@localhost
Subject: Re: port-powerpc/41370 (inline splx() and splraise() needs
 __insn_barrier())
Date: Tue, 27 Nov 2018 22:22:34 +0100

 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
 --