Subject: Re: IPL_LOCK oddity
To: None <>
From: YAMAMOTO Takashi <>
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.