is __insn_barrier() needed in alpha_pal_swpipl ?

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

Hi,
working on kern/38637 it turns out that some ports define splhigh
as a macro or __inline, and the compiler may optimise thing
wrongly if it's not properly defined (softint_schedule() in this example,
where the compiler is not aware that sh_flags may have changed before
and after the call to splhigh()).

alpha has an inline splhigh (alpha_pal_swpipl() really); and I couldn't
determine if the assembly in this function is a barrier for
the compiler, or if a __insn_barrier() is needed here. Can someone
confirms it ?

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