setup.0713cd Address spaces switched, mvcos not available
Explanation
The kernel parameter 'switch_amode' has been specified. The kernel
will use the primary address space for user space processes and the
home address space for the kernel. The mvcos instruction is not
available and the kernel will use the slower page table walk method
to copy between the user and kernel address space.