On Jul 11, 2005, at 5:51 AM, Christos Zoulas wrote:

> Yes, that would be fine. I don't think that it is possible to write
> a smart copyin/copyout that will work on all architectures because it
> is possible that you will not be able to tell if you are referring to
> a userland or a kernel address by just the value of the address that
> gets passed in.

Correct.  All of the Hibler-pmap m68k ports, for example, have a  
complete 4G address space for both the kernel and user.

-- thorpej