> 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