On Thu, Aug 24, 2006 at 12:18:12PM +0900, YAMAMOTO Takashi wrote:
> > In chatting with dbj, I was reminded that on a number of ports, we have 
> > IPL_SERIAL higher than IPL_LOCK. IPL_IPI also is higher than IPL_LOCK on 
> > x86 (I didn't check extensively).
> 
> > Also, is the IPI code structured so that it doesn't have to take locks?
> 
> x86 ipi code uses raw __cpu_simple_lock for that reason.

And maybe the serial code should use that too ... The locks here are not
supposed to be hold for long times, from what I remember.

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