>... when curproc is NULL?

As a quick side note, BSD/OS's SMP-NG has a per-CPU idle process.
You need a separate kernel stack per CPU for each idle loop anyway,
so it seems simplest to just throw a whole proc at each CPU for its
idle.

Once you do this, the entire problem vanishes (replaced with new
problems, but never mind that :-) ).

Chris