>> I can't think of any way to fix this other than setting the SR in >> cpu_fork(). > > Should be fine, and is exactly what the i386 and alpha kernels do. I guess that proc0 == uvm_scheduler() is left running at splhigh state, at least in pmax case. Tohru Nishimura