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

["David H. Gutteridge" <dhgutteridge%sympatico.ca@localhost>]

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

From: "David H. Gutteridge" <dhgutteridge%sympatico.ca@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: port-powerpc/41370 (inline splx() and splraise() needs
 __insn_barrier())
Date: Wed, 01 Feb 2017 15:33:07 -0500

 The applicable code was later refactored into a shared source file,
 which I believe is now sys/arch/powerpc/pic/intr.c, in which I can see
 the functions in question have __insn_barrier() calls, so I think this
 can be closed?
 
 Dave