> I appreciate this is sample code, but using __get_user() on > non-userspace pointers messes up architectures which have separate > user/kernel spaces (eg the old 4G/4G split for x86-32). Do we have an > appropriate function for kernel space pointers?