Subject: Re: IPL_LOCK oddity
To: None <wrstuden@netbsd.org>
From: YAMAMOTO Takashi <yamt@mwd.biglobe.ne.jp>
List: tech-kern
Date: 08/24/2006 12:18:12
> 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.

YAMAMOTO Takashi