Please disregard my comment.  "pagedaemon", "reaper", "ioflush" and
"aiodoned" will have the wrong initial value.  proc0 will not.

>>>   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.

-nisimura